Structures of Oppositions in Public Announcement Logic

DOI10.1007/978-3-0348-0379-3_22zbMath1263.03010OpenAlexW2222047630MaRDI QIDQ4915594

Lorenz Demey

Publication date: 11 April 2013

Published in: Around and Beyond the Square of Opposition (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-0348-0379-3_22

zbMATH Keywords

public announcement logicsquare of oppositionsepistemic dynamics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items

Metalogical decorations of logical diagrams, Why the logical hexagon?, Logic-sensitivity and bitstring semantics in the square of opposition, Aristotelian diagrams for semantic and syntactic consequence, Combinatorial bitstring semantics for arbitrary logical fragments, Logical geometries and information in the square of oppositions, Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\), Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation, Aristotelian and Duality Relations Beyond the Square of Opposition

Cites Work

• ``Setting \(n\)-opposition
• An elementary proof of the completeness of PDL
• A guide to completeness and complexity for modal logics of knowledge and belief
• Reasoning about information change
• First-order modal logic
• On the 3D visualisation of logical relations
• Logical geometries and information in the square of oppositions
• Logics for epistemic programs
• Some remarks on the model theory of epistemic plausibility models
• Logical Dynamics of Information and Interaction
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic for belief revision
• Logic and structure
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item