Modal Logics with Composition on Finite Forests

DOI10.1145/3373718.3394787zbMath1498.03049OpenAlexW3031017737MaRDI QIDQ5145629

Bartosz Bednarczyk, Alessio Mansutti, Raul Fervari, Stéphane P. Demri

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3373718.3394787

zbMATH Keywords

complexityexpressive powerseparation logicgraded modal logicmodal logic on treesstatic ambient logic

Mathematics Subject Classification ID

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

Related Items (5)

On Composing Finite Forests with Modal Logics ⋮ Modal logics and local quantifiers: a zoo in the elementary hierarchy ⋮ INTERLEAVING LOGIC AND COUNTING ⋮ Unnamed Item ⋮ Copy and remove as dynamic operators

This page was built for publication: Modal Logics with Composition on Finite Forests