Subintuitionistic logics and their modal companions: a nested approach
type: Item
instance of: scholarly article
title: Subintuitionistic logics and their modal companions: a nested approach
DOI: 10.1080/11663081.2024.2366756
author: Matteo Tesi
published in: Journal of Applied Non-Classical Logics
publication date: 2024-12-09T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7955906
MaRDI profile type: Publication
cites work: Deep sequent systems for modal logic
cites work: A closer look at some subintuitionistic logics
cites work: Bounded distributive lattices with strict implication
cites work: Q3128959
cites work: Weak Logics with Strict Implication
cites work: Q4133603
cites work: Proof analysis in intermediate logics
cites work: Nested sequents for intuitionistic logics
cites work: Q4754492
cites work: Tree-Sequent Methods for Subintuitionistic Predicate Logics
cites work: On the correspondence between nested calculi and semantic systems for intuitionistic logics
cites work: Some theorems about the sentential calculi of Lewis and Heyting
cites work: Neighborhood Semantics for Basic and Intuitionistic Logic
cites work: Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
cites work: The intensional side of algebraic-topological representation theorems
cites work: Subintuitionistic logics
cites work: Weak subintuitionistic logics
cites work: Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
cites work: The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
cites work: Q4716271
cites work: A propositional logic with explicit fixed points
description: scientific article; zbMATH DE number 7955906