Bi-simulating in bi-intuitionistic logic

DOI10.1007/S11225-016-9664-1zbMATH Open1417.03125OpenAlexW2290041791MaRDI QIDQ332084FDOQ332084

Authors: Guillermo Badia 

Publication date: 27 October 2016

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-016-9664-1

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

zbMATH Keywords

model theorybi-intuitionistic logicdirected bisimulationsvan Benthem's characterization theorem

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Applications of Kripke models to Heyting-Brouwer logic
• Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic
• Model Theory
• A formalization of the propositional calculus of H-B logic
• Constructive negation, implication, and co-implication
• Model theory for an extension of intuitionistic logic
• On logics with coimplication
• Simulating without Negation
• Model-theoretic characterization of intuitionistic propositional formulas
• On Extensions of Elementary Logic

Cited In (12)

• INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
• BI-INTERPRETATION IN WEAK SET THEORIES
• Bi-intermediate logics of trees and co-trees
• Bi-intuitionistic implication structures
• A bi-intuitionistic modal logic: foundations and automation
• Hennessy-Milner and van Benthem for instantial neighbourhood logic
• Title not available (Why is that?)
• Hennessy-Milner properties via topological compactness
• Bisimulation and propositional intuitionistic logic
• On generalized van Benthem-type characterizations
• An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics
• On expressive power of basic modal intuitionistic logic as a fragment of classical FOL

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)