Undecidability of relation-changing modal logics

DOI10.1007/978-3-319-73579-5_1zbMath1499.03018OpenAlexW2782243532MaRDI QIDQ1742616

Carlos Areces, Guillaume Hoffmann, Raul Fervari, Mauricio Martel

Publication date: 12 April 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-73579-5_1

zbMATH Keywords

undecidabilitysatisfiabilitymodal logicsdynamic logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

Related Items (2)

To be announced ⋮ Copy and remove as dynamic operators

This page was built for publication: Undecidability of relation-changing modal logics