Pages that link to "Item:Q6044128"
From MaRDI portal
The following pages link to Bisimulation and propositional intuitionistic logic (Q6044128):
Displaying 18 items.
- Bi-simulating in bi-intuitionistic logic (Q332084) (← links)
- Bisimulation quantifiers and uniform interpolation for guarded first order logic (Q481100) (← links)
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic (Q1337604) (← links)
- Fibrational bisimulations and quantitative reasoning (Q1798795) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- Hennessy-Milner properties via topological compactness (Q2672663) (← links)
- (Q3145858) (← links)
- An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics (Q3178265) (← links)
- (Q3509051) (← links)
- Back and Forth Between First-Order Kripke Models (Q3535603) (← links)
- Classical BI: Its Semantics and Proof Theory (Q3575307) (← links)
- (Q4993336) (← links)
- Bisimulation Invariant Monadic-Second Order Logic in the Finite (Q5002802) (← links)
- BISIMULATIONS FOR KNOWING HOW LOGICS (Q5078817) (← links)
- Ruitenburg's Theorem via Duality and Bounded Bisimulations (Q5224571) (← links)
- Small bisimulations for reasoning about higher-order imperative programs (Q5348920) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897786) (← links)
