Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter.
Mikhail N. RybakovDmitry ShkatovPublished in: Stud Logica (2019)
Keyphrases
- valued logic
- first order logic
- classical logic
- modal logic
- propositional variables
- theorem prover
- expressive power
- propositional logic
- conditional logic
- datalog programs
- inference rules
- logic programming
- decision procedures
- nonmonotonic logics
- universally quantified
- query containment
- classical first order logic
- horn clauses
- description logics
- deductive databases
- knowledge representation
- answering queries
- situation calculus
- logical formulas
- dynamic logic
- theorem proving
- linear logic
- fuzzy set theory
- epistemic logic
- natural deduction
- probabilistic planning
- inductive logic programming
- temporal logic
- fuzzy numbers
- truth values
- integrity constraints
- datalog queries
- data complexity
- fuzzy information
- interval valued
- real numbers
- sequent calculus
- fuzzy logic