Back to Search
Start Over
Axiomatizing hybrid logic using modal logic.
- Source :
- Journal of Applied Logic; Dec2010, Vol. 8 Issue 4, p386-396, 11p
- Publication Year :
- 2010
-
Abstract
- Abstract: We study hybrid logics with nominals and ‘actuality’ operators . We recall the method of ten Cate, Marx, and Viana to simulate hybrid logic using modalities and ‘nice’ frames, and we show that the hybrid logic of a class of frames is the modal logic of the class of its corresponding nice frames. We also extend this definition to ‘fairly nice frames’, to capture their closure under disjoint union. Using these results, we show how to axiomatize the hybrid logic of any elementary class of frames. Then we study quasimodal logics, which are hybrid logics axiomatized by modal axioms together with basic hybrid axioms common to any hybrid logic, using only orthodox inference rules. We show that the hybrid logic of any elementary modally definable class of frames, or of any elementary class of frames closed under disjoint unions, bounded morphic images, ultraproducts and generated subframes, is quasimodal. We also show that the hybrid analogues of modal logics studied by McKinsey–Lemmon and Hughes are quasimodal. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 15708683
- Volume :
- 8
- Issue :
- 4
- Database :
- Supplemental Index
- Journal :
- Journal of Applied Logic
- Publication Type :
- Academic Journal
- Accession number :
- 54885087
- Full Text :
- https://doi.org/10.1016/j.jal.2010.08.005