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

DOI10.1017/S0960129517000019MaRDI QIDQ4606700zbMATH OpenOpenAlexFDO

Authors Paolo Bottoni, Daniele Gorla, Stefano Kasangian, 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

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A logic for categories
• scientific article; zbMATH DE number 1354147
• On fixpoint logics and equivalences for processes with restricted nondeterminism
• scientific article; zbMATH DE number 860039
• scientific article; zbMATH DE number 1848312

Cites work

• A logic for categories
• Adjointness in Foundations
• Algebraic laws for nondeterminism and concurrency
• Coalgebraic modal logic beyond sets
• scientific article; zbMATH DE number 4072929 (Why is no real title available?)
• scientific article; zbMATH DE number 3776834 (Why is no real title available?)
• scientific article; zbMATH DE number 3779586 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 529899 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• Logic in Computer Science
• Observational trees as models for concurrency
• Reactive Systems
• Tree-functors, determinacy and bisimulations

Cited in

(2)

• A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting
• Transactions and contracts based on reaction systems

This page was built for publication: A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4606700)