A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes

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

Mathematics Subject Classification ID

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