On the predicate logics of finite Kripke frames
From MaRDI portal
Publication:1344873
DOI10.1007/BF01058533zbMath0839.03011OpenAlexW2019451333MaRDI 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
Related Items
Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle, The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable, On the predicate logic of linear Kripke frames and some of its extensions
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item