A Modal Logic for Network Topologies.
Rogier M. van EijkFrank S. de BoerWiebe van der HoekJohn-Jules Ch. MeyerPublished in: JELIA (2000)
Keyphrases
- modal logic
- network topologies
- network topology
- temporal logic
- inference rules
- epistemic logic
- random graphs
- interacting agents
- classical logic
- nonmonotonic logics
- default logic
- model checking
- dynamic logic
- situation calculus
- autoepistemic logic
- prime implicates
- real time
- conditional logic
- graphical models
- modal operators
- cooperative