Jan-Willem Romeijn Conditioning and Interpretation Shifts Abstract. This paper develops a probabilistic model of belief change under interpretation shifts, in the context of a problem case from dynamic epistemic logic.

Source URL: www.philos.rug.nl

Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic

Source URL: canbaskent.net

Paraconsistent Dynamic Epistemic Logic topological models for inconsistent knowledge Can Başkent Department of Computer Science, University of Bath

Source URL: canbaskent.net

Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, An Algebraic Approach to Dynamic Epistemic Logic Prakash Panangaden1 , Caitlin Phillips1 , Doina Precup1 , and Mehrnoosh Sadr

Source URL: ceur-ws.org

Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic

Source URL: canbaskent.net

What will they say? – Public Announcement Games Thomas ˚ Agotnes∗ Department of Information Science and Media Studies, University of Bergen, P.O. Box 7802, N-5020 Bergen, Norway,

Source URL: folk.uib.no

• Logic
• Modal logic
• Philosophy
• Formal epistemology
• Abstraction
• Artificial intelligence
• Non-classical logic
• Philosophical logic
• Dynamic epistemic logic
• Common knowledge
• Epistemic modal logic
• Kripke semantics

A Dynamic-Epistemic Logic for Mobile Structured Agents Anya Yermakova and Alexandru Baltag Abstract Multi-agent systems have been studied in various contexts of both application and theory. We take Dynamic Epistemic Logi

Source URL: anyayermakova.com

Coalitions and Announcements ◦ Thomas Agotnes Hans van Ditmarsch

Source URL: folk.uib.no

• Formal epistemology
• Modal logic
• Artificial intelligence
• Non-classical logic
• Philosophical logic
• Dynamic epistemic logic
• Symbol
• Epistemic modal logic
• Common knowledge
• Tiny Encryption Algorithm
• Kripke semantics
• Interpretation

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach Christian Muise∗ , Vaishak Belle† , Paolo Felli∗ , Sheila McIlraith† Tim Miller∗ , Adrian R. Pearce∗ , Liz Sonenberg∗ ∗ Departmen

Source URL: www.haz.ca

• Philosophy
• Modal logic
• Logic
• Epistemology
• Artificial intelligence
• Formal epistemology
• Modality
• Epistemic modal logic
• Dynamic epistemic logic
• Epistemic closure
• Causality
• Distribution

Dynamic Epistemic Logic Displayed Giuseppe Greco1 , Alexander Kurz2 , Alessandra Palmigiano3 1 2

Source URL: www.appliedlogictudelft.nl