Reasoning about dynamic epistemic logic (original) (raw)
Related papers
An algebraic approach to dynamic epistemic logic
2010
Synthese, 2000
Dynamic Epistemic Logic with Assignments, Concurrency and Communication Actions
Anais do Workshop Brasileiro de Lógica (WBL 2020)
Algebra and sequent calculus for epistemic actions
2005
Hybrid Epistemic logic for Specifying Requirements of Multi-agent Systems
Journal of Computer Science IJCSIS
Dynamic Epistemic Logic with Communication Actions
Electronic Notes in Theoretical Computer Science, 2019
Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge
EPiC Series in Computing
Outstanding Contributions to Logic, 2014
A Dynamic Informational-Epistemic Logic
Dynamic Logic. New Trends and Applications - Lecture Notes in Computer Science, 2017
1998
Dynamic Epistemic Temporal Logic
A Logic Based Approach to Multi-Agent Systems
2001
2010
Epistemic Logic with Relevant Agents
2015
Temporalised Epistemic Logic for Reasoning about Agent-Based Systems
2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2009
Dynamic logics of knowledge and access
Synthese, 2010
A Complete Epistemic Logic for Multiple Agents
Theory and Decision Library, 1997
Relating algebraic and coalgebraic logics of knowledge and update
2006
Reasoning About Factual Games Using Information Updates
Mehrnoosh Sadrzadeh, Doina Precup
Epistemic Logics with Structured Knowledge
Electronic Notes in Theoretical Computer Science, 2019
Connecting dynamic epistemic and temporal epistemic logics
Logic Journal of IGPL, 2013