On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic

DOI10.1007/978-3-642-30870-3_33zbMath1358.03034OpenAlexW2109725814MaRDI QIDQ2904422

Petar Iliev, Wiebe van der Hoek, Barteld P. Kooi

Publication date: 14 August 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30870-3_33

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

On the succinctness of some modal logics ⋮ Unnamed Item

This page was built for publication: On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic