Completeness and incompleteness in first-order modal logic: An overview

Advances in Modal Logic 2006

Volumn 6, Issue , 2006, Pages 27-30

  Shehtman, Valentin ^a  

^a INSTITUTE FOR INFORMATION TRANSMISSION PROBLEMS   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 64549157683     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Arló-Costa, H., Pacuit, E.: First-order classical modal logic: applications in logics of knowledge and probability. In: Van der Meyden, R., ed. Proceedings of TARK X (2005), July 10-12, 2005, Singapore. www.tark.org/ proceedings/tark jul10 05/proceedings.html
2. Astretsov, S.: Elementarity and incompleteness for predicate modal logics with constant domains. International Conference "Computer Science applications of modal logic", September 5-9, 2005, Abstracts. Poncelet Math. Laboratory, 2005, Moscow. www.mccme.ru/poncelet/
3. Corsi, G., Ghilardi, S.: Directed frames. Archive for math. logic, 29 (1989), 53-67.
4. Gasquet, O.: A new incompleteness result in Kripke semantics. Fundamenta Informatica, 24 (1995), 407-415.
5. Ghilardi, S.: Incompleteness results in Kripke semantics. J. Symbolic Logic, 56 (1991), 517-538.
6. Ghilardi, S.: Quantified extensions of canonical propositional intermediate logics. Studia Logica, 51 (1992), 195-214.
7. Goldblatt, R., Mares, E.: A general semantics for quantified modal logic (2006), see this Volume.
8. Ono, H.: Incompleteness of semantics for intermediate predicate logics. I. Kripke's semantics. Proc. Jap. Acad., 49: (1973), 711-713
9. Ono, H.: Model extension theorem and Craig's interpolation theorem for intermediate predicate logics. Reports in Math. Logic, No. 15 (1983), 41-58.
10. Shehtman, V.: Sahlqvist-type completeness theorem in modal predicate logic. In: 10th International Congress in Logic, Methodology and Philosophy of Science, Florence, 1995, Abstracts, 220.
11. Shehtman, V., Skvortsov, D.: Semantics of non-classical first order predicate logics. In Petkov, P., ed., Proceedings of Summer School and Conference on Mathematical Logic, Sept. 13-23 in Chaika, Bulgaria, 105-116. Plenum Press, 1990.
12. Shirasu, H.: Hyperdoctrinal semantics for non-classical predicate logics. PhD thesis, Japan Advanced Institute of Science and Technology, 1997.
13. Skvortsov, D.: On the predicate logic of linear Kripke frames and some of its extensions. Studia Logica, 81 (2005), 261-282.
14. Skvortsov, D.: The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable. J. Symbolic Logic, 70 (2005), 451-459.
15. Skvortsov, D.: On non-axiomatizability of superintuitionistic predicate logics of some classes of well-founded and dually well-founded Kripke frames. Journal of Logic and Computation (2006), to appear.
16. Skvortsov, D., Shehtman, V.: Maximal Kripke-type semantics for modal and superintuitionistic predicate logics. Annals of Pure and Applied Logic, 63 (1993), 69-101.