Modal Logics with Composition on Finite Forests
From MaRDI portal
Publication:5145629
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
complexityexpressive powerseparation logicgraded modal logicmodal logic on treesstatic ambient logic
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