On the predicate logic of linear kripke frames and some of its extensions

Studia Logica

Volumn 81, Issue 2, 2005, Pages 261-282

  Skvortsov, Dmitrij ^a  

^a All Russian Institute for Scientific and Technical Information   (Russian Federation)

Author keywords

Completeness and incompleteness; Intermediate predicate logics; Kripke semantics; Kripke sheaves

Indexed keywords

EID: 27544474615     PISSN: 00393215     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11225-005-3706-4     Document Type: Article

References (12)

1. ASTRETSOV, S., 'First-order definability in predicate modal logic'. Submitted to Journ. of Applied N on-classical Logic.
2. CORSI, G., 'Completeness theorem for Dummett's LC quantified and some of its extensions', Studia Logica 51, No. 2 (1992), 317-335.
3. CORSI G., and S. GHILARDI, 'Directed frames', Archive for Math. Logic 29, No. 1 (1989), 53-67.
4. GHILARDI, S., 'Presheaf semantics and independence results for some non-classical first-order logics', Archive for Math. Logic 29, No. 2 (1989), 125-136.
5. ONO, H., 'Incompleteness of semantics for intermediate predicate logics. I: Kripke's semantics', Proc. Jap. Acad. 49, No. 9 (1973), 711-713.
6. ONO, H., 'Model extension theorem and Craig's interpolation theorem for intermediate predicate logics', Reports on Math. Logic 15 (1983), 41-58.
7. ONO, H., 'On finite linear intermediate predicate logics', Studio Logica 47, No. 4 (1988), 391-399.
8. SHEHTMAN V., and D. SKVORTSOV, 'Semantics of non-classical first order predicate logics', in P. Petkov, (ed.), Mathematical, Logic, Proc. of Summer school and conference in math, logic Heyting'88, Plenum Press, N.Y., 1990, pp. 105-116.
9. SKVORTSOV, D., 'On the predicate logics of finite Kripke frames', Studia, Logica 54, No. 1 (1995), 79-88.
10. TAKANO, M., 'Ordered sets R and Q as bases of Kripke models', Studia Logica 46, No. 2 (1987), 137-148.
11. UMEZAWA, T., 'On logics intermediate between intuitionistic and classical predicate logics', Journal of Symbolic Logic 24, No. 2 (1959), 141-153.
12. YOKOTA, S., 'Axiomatization of the first-order intermediate logics of bounded Kripkean heights, I.' Zeitschr. für math. Logik und Grundl. der Math. 35, No. 5 (1989), 415-421.