Recommendations
- Model-theoretic characterization of intuitionistic propositional formulas
- Bisimulation and propositional intuitionistic logic
- Relating sequent calculi for bi-intuitionistic propositional logic
- A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
- On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
Cites work
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- scientific article; zbMATH DE number 1907195 (Why is no real title available?)
- A formalization of the propositional calculus of H-B logic
- Applications of Kripke models to Heyting-Brouwer logic
- Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic
- Constructive negation, implication, and co-implication
- Modal logic
- Model Theory
- Model theory for an extension of intuitionistic logic
- Model-theoretic characterization of intuitionistic propositional formulas
- On Extensions of Elementary Logic
- On logics with coimplication
- Simulating without Negation
Cited in
(12)- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
- BI-INTERPRETATION IN WEAK SET THEORIES
- Bi-intermediate logics of trees and co-trees
- A bi-intuitionistic modal logic: foundations and automation
- Bi-intuitionistic implication structures
- Hennessy-Milner and van Benthem for instantial neighbourhood logic
- scientific article; zbMATH DE number 6302921 (Why is no real title available?)
- Hennessy-Milner properties via topological compactness
- On generalized van Benthem-type characterizations
- Bisimulation and propositional intuitionistic logic
- On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
- An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics
This page was built for publication: Bi-simulating in bi-intuitionistic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q332084)
