Variations on the Kripke trick
From MaRDI portal
Cites work
- A modal perspective on the computational complexity of attribute value grammar
- A note on the Entscheidungsproblem.
- A propositional logic with explicit fixed points
- A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames
- Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages
- Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages
- Algorithmic properties of first-order modal logics of the natural number line in restricted languages
- Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages
- Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
- Are bundles good deals for first-order modal logic?
- Complexity function and complexity of validity of modal and superintuitionistic propositional logics
- Complexity of finite-variable fragments of products with non-transitive modal logics
- Complexity of finite-variable fragments of propositional modal logics of symmetric frames
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation
- Complexity of intuitionistic propositional logic and its fragments
- Computability and Logic
- Computational complexity of theories of a binary predicate with a small number of variables
- Decidability and the finite model property
- Decidable fragments of first-order modal logics
- Decidable fragments of first-order temporal logics
- Decision problems for equational theories of relation algebras
- First-order modal logic
- scientific article; zbMATH DE number 3131078 (Why is no real title available?)
- scientific article; zbMATH DE number 3728252 (Why is no real title available?)
- scientific article; zbMATH DE number 193143 (Why is no real title available?)
- scientific article; zbMATH DE number 2020143 (Why is no real title available?)
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- scientific article; zbMATH DE number 1852921 (Why is no real title available?)
- scientific article; zbMATH DE number 3212004 (Why is no real title available?)
- scientific article; zbMATH DE number 2196586 (Why is no real title available?)
- scientific article; zbMATH DE number 3275580 (Why is no real title available?)
- scientific article; zbMATH DE number 965572 (Why is no real title available?)
- scientific article; zbMATH DE number 3107467 (Why is no real title available?)
- Impossibility of an algorithm for the decision problem in finite classes
- Logic and structure
- Many-dimensional modal logics: theory and applications
- Modal logic for philosophers
- On Kripke completeness of modal predicate logics around quantified \textbf{K5}
- On the complexity of propositional quantification in intuitionistic logic
- Predicate counterparts of modal logics of provability: high undecidability and Kripke incompleteness
- Products of modal logics, part 1
- Quantification in nonclassical logic. Volume I.
- Quantified modal logics of positive rational numbers and some related systems
- Semantical investigations in Heyting's intuitionistic logic
- Semiproducts, products, and modal predicate logics: some examples
- The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
- The predicate modal logic of provability
- The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable
- The Undecidability of Monadic Modal Quantification Theory
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
- Undecidability of modal and intermediate first-order logics with two individual variables
- Undecidability of modal logics of unary predicate
Cited in
(3)
This page was built for publication: Variations on the Kripke trick
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7026936)
