scientific article; zbMATH DE number 937394
From MaRDI portal
Publication:4896535
zbMATH Open0882.03022MaRDI QIDQ4896535FDOQ4896535
Authors: Dmitrij Skvortsov 
Publication date: 1 February 1998
Title of this publication is not available (Why is that?)
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
finite axiomatizabilityintermediate predicate logicKripke bundlesemantical incompletenessmetaframe semantics
Cited In (8)
- Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I
- Intermediate logics and factors of the Medvedev lattice
- Title not available (Why is that?)
- Finite and finitely separable intermediate propositional logics
- On the Independent Axiomatizability of Modal and Intermediate Logics
- On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees
- On bijunctive predicates over a finite set
- Incompleteness Results in Kripke Bundle Semantics
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)
