Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders.
Philippe BalbianiLevan UridiaPublished in: Advances in Modal Logic (2012)
Keyphrases
- modal logic
- partial order
- partially ordered
- temporal logic
- total order
- inference rules
- partial ordering
- propositional logic
- default reasoning
- stable marriage
- classical logic
- fixed point
- conditional logic
- situation calculus
- epistemic logic
- nonmonotonic logics
- lattice structure
- default logic
- finitely representable
- dynamic logic
- prime implicates
- preference relations
- constraint satisfaction problems
- multi agent