Modal Logic over Higher Dimensional Automata

DOI10.1007/978-3-642-15375-4_34zbMath1287.68139OpenAlexW1524735001MaRDI QIDQ3584951

Cristian Prisacariu

Publication date: 31 August 2010

Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15375-4_34

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

ST-structures ⋮ A dynamic deontic logic for complex contracts

This page was built for publication: Modal Logic over Higher Dimensional Automata