A Modal Logic with n-ary Relations Over Paths: Comonadic Semantics and Expressivity.
Santiago FigueiraGabriel Goren RoigPublished in: CoRR (2023)
Keyphrases
- modal logic
- epistemic logic
- modal operators
- nonmonotonic logics
- conditional logic
- dynamic logic
- kripke models
- temporal logic
- inference rules
- autoepistemic logic
- decision procedures
- classical logic
- binary relations
- description logic alc
- default logic
- situation calculus
- temporal relations
- computational properties
- semantic relations
- prime implicates
- default reasoning
- logic programs
- intended meaning
- model theoretic
- default theories
- lexical semantics
- formal semantics
- conceptual graphs
- model checking
- shortest path
- logic programming
- higher order
- propositional logic
- incomplete information
- explanation based generalization