Relation-changing modal operators: Fig. 1.

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

zbMATH Keywords

complexitymodal logicexpressivitydynamic logics

Mathematics Subject Classification ID

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.