Hybrid logics with sahlqvist axioms

Logic Journal of the IGPL

Volumn 13, Issue 3, 2005, Pages 293-300

  ten Cate, Balder ^a   Marx, Maarten ^a   Viana, Petrúcio ^b  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b FLUMINENSE FEDERAL UNIVERSITY   (Brazil)

Author keywords

Beth property; Completeness; Hybrid logic; Sahlqvist theory

Indexed keywords

FORMAL LOGIC;

BETH PROPERTY; COMPLETENESS; HYBRID LOGIC; PROPERTY; SAHLQVIST THEORY;

COMPUTER CIRCUITS;

EID: 33645747101     PISSN: 13670751     EISSN: 13689894     Source Type: Journal    
DOI: 10.1093/jigpal/jzi024     Document Type: Article

References (12)

1. Carlos Areces, Patrick Blackburn, and Maarten Marx. Hybrid logics: Characterization, interpolation and complexity. Journal of Symbolic Logic, 66(3):977-1010, 2001.
2. Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal logic. Cambridge University Press, Cambridge, UK, 2001.
3. Patrick Blackburn and Balder ten Cate. Pure extensions, proof rules and hybrid axiomatics. In R. Schmidt et al., editors, Preliminary proceedings of the Advances in Modal Logic 2004, p. 303-317. Technical Report UMCS-04-09-01, University of Manchester, 2004.
4. Balder ten Cate. Model theory for extended modal languages. PhD thesis, University of Amsterdam, 2005. ILLC Dissertation Series DS-2005-01.
5. Willem Conradie. Definability and changing perspectives: The Beth property for three extensions of modal logic. Master's thesis, University of Amsterdam, 2002. ILLC Master of Logic thesis series MoL-2002-03.
6. George Gargov and Valentin Goranko. Modal logic with names. Journal of Philosophical Logic, 22:607-636, 1993.
7. Valentin Goranko and Dimiter Vakarelov. Sahlqvist formulas in hybrid polyadic modal logics. Journal of Logic and Computation, 11(5):737-754, 2001.
8. Valentin Goranko and Dimiter Vakarelov. Elementary canonical formulae I: extending Sahlqvist theorem Annals of Pure and Applied Logics, to appear.
9. Maarten Marx and Yde Venema. Multi-dimensional Modal Logic. Applied Logic Series. Kluwer Academic Publishers, 1997.
10. Wolfgang Rautenberg. Modal tableau calculi and interpolation. Journal of Philosophical Logic, 12:403-42, 1983.
11. Henrik Sahlqvist. Completeness and correspondence in the first and second order semantics for modal logic. In S. Kanger, editor, Proceedings of the Third Scandinavian Logic Symposium, pages 110-143. North-Holland Publishing Company, 1975.
12. Yde Venema. Derivation rules as anti-axioms in modal logic. Journal of Symbolic Logic, 58(3):1003-1034, 1993.