Bi-simulating in bi-intuitionistic logic

DOI10.1007/S11225-016-9664-1zbMath1417.03125OpenAlexW2290041791MaRDI QIDQ332084

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

zbMATH Keywords

model theorybi-intuitionistic logicdirected bisimulationsvan Benthem's characterization theorem

Mathematics Subject Classification ID

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

Related Items (6)

On generalized van Benthem-type characterizations ⋮ Hennessy-Milner and van Benthem for instantial neighbourhood logic ⋮ Hennessy-Milner properties via topological compactness ⋮ INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY ⋮ Bi-intuitionistic implication structures ⋮ On expressive power of basic modal intuitionistic logic as a fragment of classical FOL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Applications of Kripke models to Heyting-Brouwer logic
• Model theory for an extension of intuitionistic logic
• On logics with coimplication
• A formalization of the propositional calculus of H-B logic
• Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
• Constructive negation, implication, and co-implication
• Simulating without Negation
• Model Theory
• MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS
• On Extensions of Elementary Logic

This page was built for publication: Bi-simulating in bi-intuitionistic logic