Local fact change logic

DOI10.1007/978-981-15-2221-5_5MaRDI QIDQ6601765zbMATH OpenFDO

Authors Declan Thompson

Publication date 11 September 2024

Mathematics Subject Classification ID

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

Recommendations

• Undecidability of relation-changing modal logics
• Relation-changing modal operators
• Swap logic
• Global and local graph modifiers
• Satisfiability for relation-changing logics

Cites work

• scientific article; zbMATH DE number 2063025 (Why is no real title available?)
• Bio-logics: logical analysis of bioregulatory networks
• Boolean network games and iterated Boolean games
• Constructive agents
• Dynamic logic of propositional assignments: a well-behaved variant of PDL
• Everything else being equal: a modal logic for ceteris paribus preferences
• Global and local graph modifiers
• Hybrid languages
• Iterated Boolean games
• Logical dynamics of information and interaction
• Modal Foundations for Predicate Logic
• Modal logics of sabotage revisited
• On the logic of cooperation and propositional control
• Propositional dynamic logic with local assignments
• The expressive power of memory logics
• The undecidability of iterated modal relativization
• Undecidability of relation-changing modal logics

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)