Modal logic with non-deterministic semantics: Part I - Propositional case.
Marcelo E. ConiglioLuis Fariñas del CerroMarques Peron NewtonPublished in: Log. J. IGPL (2020)
Keyphrases
- modal logic
- autoepistemic logic
- default logic
- epistemic logic
- nonmonotonic logics
- conditional logic
- prime implicates
- temporal logic
- decision procedures
- dynamic logic
- inference rules
- default theories
- modal operators
- classical logic
- kripke models
- default reasoning
- logic programming
- model theoretic
- truth maintenance systems
- situation calculus
- description logic alc
- propositional logic
- general logic programs
- reasoning about actions
- logical theories
- horn clauses
- model checking
- first order logic
- logic programs
- strong equivalence
- multi agent systems