Pages that link to "Item:Q332084"
From MaRDI portal
The following pages link to Bi-simulating in bi-intuitionistic logic (Q332084):
Displaying 12 items.
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- On expressive power of basic modal intuitionistic logic as a fragment of classical FOL (Q518747) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- On generalized van Benthem-type characterizations (Q2358625) (← links)
- Hennessy-Milner properties via topological compactness (Q2672663) (← links)
- An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics (Q3178265) (← links)
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY (Q4600823) (← links)
- BI-INTERPRETATION IN WEAK SET THEORIES (Q5159491) (← links)
- Bi-intuitionistic implication structures (Q5375872) (← links)
- (Q5419897) (← links)
- Bisimulation and propositional intuitionistic logic (Q6044128) (← links)
- Bi-intermediate logics of trees and co-trees (Q6584961) (← links)