Admissible rules for six intuitionistic modal logics

Annals of Pure and Applied Logic 174 (4):103233 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2022.103233

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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

Proof theory for admissible rules.Rosalie Iemhoff & George Metcalfe - 2009 - Annals of Pure and Applied Logic 159 (1-2):171-186.
Admissible rules in the implication–negation fragment of intuitionistic logic.Petr Cintula & George Metcalfe - 2010 - Annals of Pure and Applied Logic 162 (2):162-171.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
On unification and admissible rules in Gabbay–de Jongh logics.Jeroen P. Goudsmit & Rosalie Iemhoff - 2014 - Annals of Pure and Applied Logic 165 (2):652-672.
Admissible Bases Via Stable Canonical Rules.Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi & Mamuka Jibladze - 2016 - Studia Logica 104 (2):317-341.
Frege systems for extensible modal logics.Emil Jeřábek - 2006 - Annals of Pure and Applied Logic 142 (1):366-379.
A(nother) characterization of intuitionistic propositional logic.Rosalie Iemhoff - 2001 - Annals of Pure and Applied Logic 113 (1-3):161-173.
On lengths of proofs in non-classical logics.Pavel Hrubeš - 2009 - Annals of Pure and Applied Logic 157 (2-3):194-205.
Unification and admissible rules for paraconsistent minimal Johanssonsʼ logic J and positive intuitionistic logic IPC.Sergei Odintsov & Vladimir Rybakov - 2013 - Annals of Pure and Applied Logic 164 (7-8):771-784.
Modal logics, justification logics, and realization.Melvin Fitting - 2016 - Annals of Pure and Applied Logic 167 (8):615-648.

Analytics

Added to PP
2023-01-05

Downloads
15 (#946,317)

6 months
7 (#592,566)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.
One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.
Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.

View all 17 references / Add more references