Communication Pattern Logic: Epistemic and Topological Views.
Armando CastañedaHans van DitmarschDavid A. RosenbluethDiego A. VelázquezPublished in: J. Philos. Log. (2023)
Keyphrases
- epistemic logic
- multiple views
- modal operators
- dynamic epistemic logic
- communication cost
- communication systems
- modal logic
- pattern matching
- multi valued
- communication overhead
- viewpoint
- model checking
- proof theory
- communication protocol
- database
- propositional dynamic logic
- computation tree logic
- topological spaces
- asynchronous circuits
- predicate logic
- pattern languages
- communication technologies
- materialized views
- partial order
- logic programming
- neural network