Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter.
Mikhail N. RybakovDmitry ShkatovPublished in: Stud Logica (2022)
Keyphrases
- valued logic
- classical logic
- first order logic
- modal logic
- expressive power
- propositional variables
- theorem prover
- conditional logic
- inference rules
- propositional logic
- datalog programs
- classical first order logic
- universally quantified
- logic programming
- decision procedures
- nonmonotonic logics
- query containment
- horn clauses
- theorem proving
- logical formulas
- answering queries
- higher order
- transitive closure
- truth values
- description logics
- default logic
- temporal logic
- natural deduction
- knowledge representation
- linear logic
- deductive databases
- dynamic logic
- knowledge base
- fuzzy sets
- datalog queries
- fuzzy logic
- random variables
- interval valued
- epistemic logic
- propositional formulas
- modal operators
- model theoretic
- unions of conjunctive queries
- proof theory
- logic programs
- number restrictions
- situation calculus