Satisfiability for relation-changing logics

DOI10.1093/logcom/exy022zbMath1444.03040OpenAlexW2886443044MaRDI QIDQ4612446

Raul Fervari, Mauricio Martel, Carlos Areces, Guillaume Hoffmann

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11336/100602

zbMATH Keywords

undecidabilitymodal logicsatisfiabilitydynamic logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)

Related Items (5)

On the subtle nature of a simple logic of the hide and seek game ⋮ A modal logic for supervised learning ⋮ To be announced ⋮ A simple logic of the hide and seek game ⋮ Copy and remove as dynamic operators

This page was built for publication: Satisfiability for relation-changing logics