A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic.
Gennady ShtakserPublished in: J. Log. Lang. Inf. (2023)
Keyphrases
- modal logic
- first order logic
- default logic
- prime implicates
- autoepistemic logic
- temporal logic
- inference rules
- coalition logic
- propositional logic
- nonmonotonic logics
- higher order
- expressive power
- epistemic logic
- classical logic
- default reasoning
- situation calculus
- nonmonotonic reasoning
- default theories
- explanation based generalization
- knowledge representation
- general logic programs
- description logic alc
- conditional logic
- transitive closure
- knowledge compilation
- modal operators
- dynamic logic
- satisfiability problem
- incomplete information
- knowledge base
- database