Rules with parameters in modal logic I

Annals of Pure and Applied Logic 166 (9):881-933 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2015.04.004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,682

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

Derivation rules as anti-axioms in modal logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
Axiomatizations with context rules of inference in modal logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus.V. V. Rybakov - 1990 - Annals of Pure and Applied Logic 50 (1):71-106.
Canonical Rules.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (4):1171 - 1205.
Logical equations and admissible rules of inference with parameters in modal provability logics.V. V. Rybakov - 1990 - Studia Logica 49 (2):215 - 239.
Construction of an Explicit Basis for Rules Admissible in Modal System S4.Vladimir V. Rybakov - 2001 - Mathematical Logic Quarterly 47 (4):441-446.
On Quantified Modal Logic.Melvin Fitting - unknown
Predicate logics on display.Heinrich Wansing - 1999 - Studia Logica 62 (1):49-75.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
Tree Trimming: Four Non-Branching Rules for Priest’s Introduction to Non-Classical Logic.Marilynn Johnson - 2015 - Australasian Journal of Logic 12 (2):97-120.
Refutations, proofs, and models in the modal logic K.Tomasz Skura - 2002 - Studia Logica 70 (2):193 - 204.
Rules of inference with parameters for intuitionistic logic.Vladimir V. Rybakov - 1992 - Journal of Symbolic Logic 57 (3):912-923.
Description of Modal Logics Inheriting Admissible Rules for K4.Çigdem Gencer - 2002 - Logic Journal of the IGPL 10 (4):401-411.
Complexity of admissible rules.Emil Jeřábek - 2007 - Archive for Mathematical Logic 46 (2):73-92.

Analytics

Added to PP
2015-08-28

Downloads
24 (#672,137)

6 months
4 (#843,989)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Rules with parameters in modal logic II.Emil Jeřábek - 2020 - Annals of Pure and Applied Logic 171 (10):102829.
On the proof complexity of logics of bounded branching.Emil Jeřábek - 2023 - Annals of Pure and Applied Logic 174 (1):103181.

Add more citations

References found in this work

Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.
Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.

View all 24 references / Add more references