Description of Modal Logics Inheriting Admissible Rules for K4

Logic Journal of the IGPL 10 (4):401-411 (2002)
  Copy   BIBTEX

Abstract

We give the notion of co-cover property for logics with fmp extending K4 and necessary and sufficient condition for any modal logic with fmp to inherit all inference rules admissible in K4.1

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/10.4.401

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

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

Independent bases for rules admissible in pretabular logics.V. Rybakov, V. Kiyatkin & M. Terziler - 1999 - Logic Journal of the IGPL 7 (2):253-266.
On the rules of intermediate logics.Rosalie Iemhoff - 2006 - Archive for Mathematical Logic 45 (5):581-599.
On Finite Model Property for Admissible Rules.Vladimir V. Rybakov, Vladimir R. Kiyatkin & Tahsin Oner - 1999 - Mathematical Logic Quarterly 45 (4):505-520.
Intermediate Logics and Visser's Rules.Rosalie Iemhoff - 2005 - Notre Dame Journal of Formal Logic 46 (1):65-81.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
Intermediate logics preserving admissible inference rules of heyting calculus.Vladimir V. Rybakov - 1993 - Mathematical Logic Quarterly 39 (1):403-415.
Complexity of admissible rules.Emil Jeřábek - 2007 - Archive for Mathematical Logic 46 (2):73-92.
Some admissible rules in nonnormal modal systems.Timothy Williamson - 1993 - Notre Dame Journal of Formal Logic 34 (3):378-400.
On self-admissible quasi-characterizing inference rules.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Studia Logica 65 (3):417-428.
Unification and Passive Inference Rules for Modal Logics.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):369-377.
Proof theory for admissible rules.Rosalie Iemhoff & George Metcalfe - 2009 - Annals of Pure and Applied Logic 159 (1-2):171-186.
Independent bases of admissible rules.Emil Jerábek - 2008 - Logic Journal of the IGPL 16 (3):249-267.
Canonical Rules.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (4):1171 - 1205.
Construction of an Explicit Basis for Rules Admissible in Modal System S4.Vladimir V. Rybakov - 2001 - Mathematical Logic Quarterly 47 (4):441-446.
Logical equations and admissible rules of inference with parameters in modal provability logics.V. V. Rybakov - 1990 - Studia Logica 49 (2):215 - 239.

Analytics

Added to PP
2015-02-04

Downloads
7 (#1,379,768)

6 months
2 (#1,192,610)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proving Cleanthes wrong.Laureano Luna - 2021 - Journal of Applied Logic 8 (3):707-736.

Add more citations

References found in this work

No references found.

Add more references