Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter.
Mikhail N. RybakovDmitry ShkatovPublished in: CoRR (2017)
Keyphrases
- valued logic
- classical logic
- first order logic
- modal logic
- propositional variables
- expressive power
- theorem prover
- datalog programs
- conditional logic
- universally quantified
- inference rules
- propositional logic
- logic programming
- classical first order logic
- transitive closure
- nonmonotonic logics
- answering queries
- knowledge representation
- horn clauses
- query containment
- linear logic
- situation calculus
- temporal logic
- description logics
- datalog queries
- inductive logic programming
- logical formulas
- higher order
- fuzzy information
- deductive databases
- directed acyclic graph
- fuzzy logic
- modal operators
- nonmonotonic reasoning