Communication Pattern Logic: Epistemic and Topological Views.
Armando CastañedaHans van DitmarschDavid A. RosenbluethDiego A. VelázquezPublished in: CoRR (2022)
Keyphrases
- epistemic logic
- dynamic epistemic logic
- multiple views
- modal operators
- pattern matching
- modal logic
- automated reasoning
- database
- communication channels
- formal theory
- topological properties
- communication systems
- single view
- multi valued
- communication networks
- logical framework
- nonmonotonic logics
- communication protocol
- information exchange
- communication technologies
- formal semantics
- model checking
- logic programming
- multi view
- knowledge representation