Bisimulation and propositional intuitionistic logic
From MaRDI portal
Publication:6044128
DOI10.1007/3-540-63141-0_24zbMath1512.03027MaRDI QIDQ6044128
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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations, Hennessy-Milner and van Benthem for instantial neighbourhood logic, Hennessy-Milner properties via topological compactness
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