An Epistemic Separation Logic.
Jean-René CourtaultHans van DitmarschDidier GalmichePublished in: WoLLIC (2015)
Keyphrases
- epistemic logic
- dynamic epistemic logic
- modal logic
- modal operators
- propositional dynamic logic
- model checking
- proof theory
- set theory
- automated reasoning
- classical logic
- logical framework
- belief change
- logic programming
- case study
- information retrieval
- database
- computation tree logic
- dynamic logic
- formal theory
- predicate logic
- multi valued
- inference rules
- real time