Relation-changing modal operators

DOI10.1093/JIGPAL/JZV020MaRDI QIDQ4644524zbMATH OpenOpenAlexFDO

Authors Carlos Areces, Raul Fervari, Guillaume Hoffmann

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzv020

zbMATH Keywords

complexitydynamic logicsexpressivitymodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Tableaux for relation-changing modal logics
• Moving Arrows and Four Model Checking Results
• Satisfiability for relation-changing logics
• Relation-changing logics as fragments of hybrid logics
• Undecidability of relation-changing modal logics

Cited in

(41)

• Undecidability of relation-changing modal logics
• Introspection as an action in relational models
• Recapturing dynamic logic of relation changers via bounded morphisms
• Verification of dynamic bisimulation theorems in Coq
• Constructive dynamic logic of relation changers
• Introducing fuzzy reactive graphs: a simple application on biology
• Dynamic coalition logic: granting and revoking dictatorial powers
• A modal logic for supervised learning
• A logic of goal-directed knowing how
• The modal logic of copy and remove
• Tableaux for relation-changing modal logics
• Minimal revision and classic Kripke models. First results
• Satisfiability for relation-changing logics
• Global and local graph modifiers
• Relation-changing logics as fragments of hybrid logics
• THE MODAL LOGIC OF STEPWISE REMOVAL
• Further Steps Towards a Logic of Polarization in Social Networks
• The impact of including model update operators in modal logics
• Swap logic
• Copy and remove as dynamic operators
• On Composing Finite Forests with Modal Logics
• To be announced
• A simple logic of the hide and seek game
• Relation-changing models meet paraconsistency
• Modal logics and local quantifiers: a zoo in the elementary hierarchy
• Data graphs with incomplete information (and a way to complete them)
• Axiomatization of hybrid logic of link variations
• First steps in updating knowing how
• Action models for coalition logic
• The modal logics of the poison game
• Local fact change logic
• Graph games and logic design
• Graded relation updates in modal logic
• Labeled fuzzy reactive graphs
• Topic-based communication between agents
• A logical formalisation of false belief tasks
• Aggregation-based operations for reversal fuzzy switch graphs
• Reasoning about group polarization: from semantic games to sequent systems
• Playing with modalities (invited talk)
• Mechanizing bisimulation theorems for relation-changing logics in Coq
• \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers

This page was built for publication: Relation-changing modal operators

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