Local fact change logic

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

Authors Declan Thompson

Publication date 11 September 2024

Full work available at URL https://doi.org/10.1007/978-981-15-2221-5_5

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

• 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
• scientific article; zbMATH DE number 2063025 (Why is no real title available?)
• 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

Cited in

(2)

• Reasoning under uncertainty in the game of cops and robbers
• A modal approach towards substitutions

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)