A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
From MaRDI portal
Publication:4606700
DOI10.1017/S0960129517000019zbMath1386.68107OpenAlexW2589842665MaRDI QIDQ4606700
Stefano Kasangian, Paolo Bottoni, Daniele Gorla, Anna Labella
Publication date: 9 March 2018
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129517000019
Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Temporal logic (03B44)
Related Items (2)
A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting ⋮ Transactions and contracts based on reaction systems
Cites Work
- Tree-functors, determinacy and bisimulations
- Algebraic laws for nondeterminism and concurrency
- Adjointness in Foundations
- Logic in Computer Science
- Observational trees as models for concurrency
- A logic for categories
- Coalgebraic Modal Logic Beyond Sets
- Reactive Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes