Local fact change logic

DOI10.1007/978-981-15-2221-5_5zbMATH Open1547.0316MaRDI QIDQ6601765

Declan Thompson

Publication date: 11 September 2024

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Title not available (Why is that?)
• Everything else being equal: a modal logic for ceteris paribus preferences
• Propositional dynamic logic with local assignments
• Constructive agents
• Undecidability of relation-changing modal logics
• Hybrid languages
• Iterated Boolean games
• On the logic of cooperation and propositional control
• The undecidability of iterated modal relativization
• THE EXPRESSIVE POWER OF MEMORY LOGICS
• Logical Dynamics of Information and Interaction
• Modal Foundations for Predicate Logic
• Boolean Network Games and Iterated Boolean Games
• Modal logics of sabotage revisited
• Bio-Logics: Logical Analysis of Bioregulatory Networks
• Global and Local Graph Modifiers
• Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL

This page was built for publication: Local fact change logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6601765)