Bisimulation and propositional intuitionistic logic

DOI10.1007/3-540-63141-0_24zbMath1512.03027OpenAlexW1595195464MaRDI QIDQ6044128

Anna Patterson

Publication date: 17 May 2023

Published in: CONCUR '97: Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63141-0_24

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Hennessy-Milner and van Benthem for instantial neighbourhood logic, Hennessy-Milner properties via topological compactness, On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations

Cites Work

• A calculus of communicating systems
• The algebra of topology
• On closed elements in closure algebras
• A remark on the s. c. free closure algebras
• On formulas of one variable in intuitionistic propositional calculus
• Finitely generated free Heyting algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item