Stable canonical rules for intuitionistic modal logics

Annals of Pure and Applied Logic 177 (7):103743 (2026)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2026.103743

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Admissible rules for six intuitionistic modal logics.Iris van der Giessen - 2023 - Annals of Pure and Applied Logic 174 (4):103233.
Admissible Bases Via Stable Canonical Rules.Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi & Mamuka Jibladze - 2016 - Studia Logica 104 (2):317-341.
Universal proof theory: Feasible admissibility in intuitionistic modal logics.Amirhossein Akbar Tabatabai & Raheleh Jalali - 2025 - Annals of Pure and Applied Logic 176 (2):103526.
Constructive canonicity in non-classical logics.Silvio Ghilardi & Giancarlo Meloni - 1997 - Annals of Pure and Applied Logic 86 (1):1-32.
Stable Modal Logics.Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin - 2018 - Review of Symbolic Logic 11 (3):436-469.
Cofinal Stable Logics.Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin - 2016 - Studia Logica 104 (6):1287-1317.
On lengths of proofs in non-classical logics.Pavel Hrubeš - 2009 - Annals of Pure and Applied Logic 157 (2-3):194-205.
Proof theory for admissible rules.Rosalie Iemhoff & George Metcalfe - 2009 - Annals of Pure and Applied Logic 159 (1-2):171-186.
Modal logics, justification logics, and realization.Melvin Fitting - 2016 - Annals of Pure and Applied Logic 167 (8):615-648.
Modal logics over lattices.Xiaoyang Wang & Yanjing Wang - 2025 - Annals of Pure and Applied Logic 176 (4):103553.

Analytics

Added to PP
2026-02-20

Downloads
11 (#2,043,683)

6 months
11 (#1,077,699)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Heyting Algebras: Duality Theory.Leo Esakia - 2019 - Cham, Switzerland: Springer Verlag.
Consequence Relations and Admissible Rules.Rosalie Iemhoff - 2016 - Journal of Philosophical Logic 45 (3):327-348.
Canonical formulas for k4. part I: Basic results.Michael Zakharyaschev - 1992 - Journal of Symbolic Logic 57 (4):1377-1402.
Intuitionistic epistemic logic.Sergei Artemov & Tudor Protopopescu - 2016 - Review of Symbolic Logic 9 (2):266-298.

View all 19 references / Add more references