An excursion to the border of decidability: between two- and three-variable logic.
Oskar FiukEmanuel KieronskiPublished in: LPAR (2023)
Keyphrases
- automata theoretic
- description logics
- multi valued
- computational properties
- logic programming
- query answering
- modal logic
- automated reasoning
- neural network
- predicate logic
- probabilistic logic
- asynchronous circuits
- database
- temporal logic
- decision procedures
- abductive reasoning
- epistemic logic
- deontic logic
- information systems
- sound and complete axiomatization