Relation-changing modal operators: Fig. 1.
From MaRDI portal
Publication:4644524
DOI10.1093/jigpal/jzv020zbMath1405.03047OpenAlexW2021500450MaRDI QIDQ4644524
Guillaume Hoffmann, Carlos Areces, Raul Fervari
Publication date: 8 January 2019
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzv020
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (17)
\(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers ⋮ On Composing Finite Forests with Modal Logics ⋮ Dynamic coalition logic: granting and revoking dictatorial powers ⋮ THE MODAL LOGIC OF STEPWISE REMOVAL ⋮ A modal logic for supervised learning ⋮ The modal logic of copy and remove ⋮ Further Steps Towards a Logic of Polarization in Social Networks ⋮ 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 ⋮ Unnamed Item ⋮ A logic of goal-directed knowing how ⋮ Introspection as an action in relational models ⋮ Verification of dynamic bisimulation theorems in Coq ⋮ Introducing fuzzy reactive graphs: a simple application on biology ⋮ Copy and remove as dynamic operators
This page was built for publication: Relation-changing modal operators: Fig. 1.
