Paraconsistent dynamics

DOI10.1007/s11229-015-0740-2zbMath1396.03066OpenAlexW3187863171MaRDI QIDQ514033

Koji Tanaka, Patrick R. Girard

Publication date: 8 March 2017

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-015-0740-2

zbMATH Keywords

belief revisionparaconsistent logicdynamic epistemic logicpublic announcement

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Paraconsistent logics (03B53)

Related Items

A four-valued dynamic epistemic logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On AGM for non-classical logics
• Ideal paraconsistent logics
• On an implication connective of RM
• The logic of paradox
• Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus
• A paraconsistent theory of belief revision
• A note on freedom from detachment in the logic of paradox
• Logics of public communications
• Expressivity and completeness for public update logics via reduction axioms
• Belief Revision and Dynamic Logic