Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
From MaRDI portal
Publication:4612409
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)
Cited in
(18)- Model transformers for dynamical systems of dynamic epistemic logic
- Dynamic term-modal logics for first-order epistemic planning
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
- Modeling truly dynamic epistemic scenarios in a partial version of DEL
- Base-based model checking for multi-agent only believing
- Dynamic epistemic logic games with epistemic temporal goals
- A simplicial complex model for dynamic epistemic logic to study distributed task computability
- Efficient analysis of belief properties in process algebra
- A simplicial complex model for dynamic epistemic logic to study distributed task computability
- Parameterized complexity results for a model of theory of mind based on dynamic epistemic logic
- Symbolic Model Checking for Dynamic Epistemic Logic
- On the computational complexity of model checking for dynamic epistemic logic with S5 models
- SMCDEL
- A lightweight epistemic logic and its application to planning
- Verification and strategy synthesis for coalition announcement logic
- Representing imperfect information of procedures with hyper models
- A computationally grounded logic of graded belief
- Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic
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)
