Quantifier-free epistemic term-modal logic with assignment operator.
Yanjing WangYu WeiJeremy SeligmanPublished in: Ann. Pure Appl. Log. (2022)
Keyphrases
- modal logic
- modal operators
- epistemic logic
- quantifier free
- temporal logic
- quantifier elimination
- inference rules
- rewrite systems
- first order logic
- nonmonotonic logics
- situation calculus
- default logic
- kripke models
- model checking
- real numbers
- constraint propagation
- formal semantics
- database systems
- theorem proving
- knowledge representation
- relational databases