Denotational semantics for normal modal logics with propositional quantifiers and identity
Steffen LewitzkaPublished in: CoRR (2012)
Keyphrases
- modal logic
- denotational semantics
- default logic
- first order logic
- inference rules
- programming language
- autoepistemic logic
- decision procedures
- temporal logic
- propositional logic
- operational semantics
- nonmonotonic logics
- epistemic logic
- query language
- classical logic
- situation calculus
- default theories
- horn clauses
- theorem prover
- databases
- formal semantics
- knowledge representation
- abstract data types
- high level
- nonmonotonic reasoning
- general purpose
- software engineering
- data structure
- probabilistic reasoning
- theorem proving
- model theoretic