On the predicate logics of finite Kripke frames
From MaRDI portal
Publication:1344873
DOI10.1007/BF01058533zbMath0839.03011MaRDI QIDQ1344873
Publication date: 22 February 1995
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01058533
03B55: Intermediate logics
Related Items
The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable, Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle, On the predicate logic of linear Kripke frames and some of its extensions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Presheaf semantics and independence results for some non-classical first- order logics
- On finite linear intermediate predicate logics
- Semantical investigations in Heyting's intuitionistic logic
- Completeness theorem for Dummett's LC quantified and some of its extensions
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
- Directed frames
- Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights II
- Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I
- Incompleteness results in Kripke semantics
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property