Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
DOI10.1093/LOGCOM/EXX038zbMATH Open1410.68242OpenAlexW2791261897MaRDI QIDQ4612409FDOQ4612409
Authors: Jan van Eijck, Malvin Gattinger, Kaile Su, Johan van Benthem 
Publication date: 31 January 2019
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10072/400965
Recommendations
- Symbolic Model Checking for Dynamic Epistemic Logic
- On the computational complexity of model checking for dynamic epistemic logic with S5 models
- Symbolic model checking for temporal-epistemic logic
- Symbolic Model Checking of Logics with Actions
- Schematic Validity in Dynamic Epistemic Logic: Decidability
- A proof-theoretic semantic analysis of dynamic epistemic logic
- Symbolic model checking in non-Boolean domains
- Symbolic Model Checking of Tense Logics on Rational Kripke Models
- Optimizing epistemic model checking using conditional independence (extended abstract)
dynamic epistemic logicknowledge representationbinary decision diagramssymbolic model checkingmuddy childrenRussian cards
Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (18)
- Model transformers for dynamical systems of dynamic epistemic logic
- A computationally grounded logic of graded belief
- A simplicial complex model for dynamic epistemic logic to study distributed task computability
- Modeling truly dynamic epistemic scenarios in a partial version of DEL
- A simplicial complex model for dynamic epistemic logic to study distributed task computability
- Efficient analysis of belief properties in process algebra
- On the computational complexity of model checking for dynamic epistemic logic with S5 models
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
- SMCDEL
- A lightweight epistemic logic and its application to planning
- Dynamic epistemic logic games with epistemic temporal goals
- Dynamic term-modal logics for first-order epistemic planning
- Verification and strategy synthesis for coalition announcement logic
- Symbolic Model Checking for Dynamic Epistemic Logic
- Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic
- Base-based model checking for multi-agent only believing
- Representing imperfect information of procedures with hyper models
- Parameterized complexity results for a model of theory of mind based on dynamic epistemic logic
Uses Software
This page was built for publication: Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4612409)
