The Impact of Including Model Update Operators in Modal Logics

DOI10.1007/978-3-662-44116-9_7zbMath1417.03149OpenAlexW94562101MaRDI QIDQ5170725

Raul Fervari

Publication date: 24 July 2014

Published in: Pristine Perspectives on Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44116-9_7

zbMATH Keywords

complexitybisimulationmodal logicsmodel updates

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (1)

An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning

This page was built for publication: The Impact of Including Model Update Operators in Modal Logics