On the expressive power of first-order modal logic with two-dimensional operators.
Alexander W. KocurekPublished in: Synth. (2018)
Keyphrases
- expressive power
- modal logic
- first order logic
- conditional logic
- inference rules
- temporal logic
- modal operators
- aggregate functions
- decision procedures
- computation tree logic
- data complexity
- classical logic
- epistemic logic
- computational properties
- query language
- relational algebra
- transitive closure
- propositional logic
- dynamic logic
- knowledge representation
- incomplete information
- probabilistic reasoning
- horn clauses
- nonmonotonic logics
- theorem prover
- database
- quantifier elimination
- general logic programs
- default reasoning
- default logic
- situation calculus
- recursive queries
- model checking
- user defined aggregates
- relational calculus
- model theoretic
- description logics
- expert systems
- artificial intelligence