scientific article; zbMATH DE number 937394
From MaRDI portal
Publication:4896535
Recommendations
- Not every ``tabular predicate logic is finitely axiomatizable
- scientific article; zbMATH DE number 1916522
- Computable Kripke models and intermediate logics
- On the Independent Axiomatizability of Modal and Intermediate Logics
- scientific article; zbMATH DE number 759444
- On some Kripke complete and Kripke incomplete intermediate predicate logics
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
- Finite and finitely separable intermediate propositional logics
- On finite linear intermediate predicate logics
- scientific article; zbMATH DE number 3873298
Cited in
(9)- Intermediate logics and factors of the Medvedev lattice
- scientific article; zbMATH DE number 2024625 (Why is no real title available?)
- On bijunctive predicates over a finite set
- On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees
- Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I
- Incompleteness Results in Kripke Bundle Semantics
- Finite and finitely separable intermediate propositional logics
- On the Independent Axiomatizability of Modal and Intermediate Logics
- Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4896535)
