Logics with the universal modality and admissible consecutions

In this paper1 we study admissible consecutions (inference rules) in multi-modal logics with the universal modality. We consider extensions of multi-modal logic S4n augmented with the universal modality. Admissible consecutions form the largest class of rules, under which a logic (as a set of theorems) is closed. We propose an approach based on the context effective finite model property. Theorem 7, the main result of the paper, gives sufficient conditions for decidability of admissible consecutions in our logics. This theorem also provides an explicit algorithm for recognizing such consecutions. Some applications to particular logics with the universal modality are given.

[1]  Anthony G. Cohn,et al.  Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning , 2002, Applied Intelligence.

[2]  Ronald Harrop,et al.  Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems , 1960, Journal of Symbolic Logic.

[3]  Vladimir V. Rybakov,et al.  On Finite Model Property for Admissible Rules , 1999, Math. Log. Q..

[4]  Rosalie Iemhoff,et al.  On the admissible rules of intuitionistic propositional logic , 2001, Journal of Symbolic Logic.

[5]  Vladimir V. Rybakov,et al.  Hereditarily structurally complete modal logics , 1995, Journal of Symbolic Logic.

[6]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .

[7]  Vladimir V. Rybakov,et al.  Bases of admissible rules of the logics S4 and Int , 1985 .

[8]  Vladimir V. Rybakov,et al.  A Basis in Semi‐Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC , 2000 .

[9]  Vladimir V. Rybakov,et al.  Rules of inference with parameters for intuitionistic logic , 1992, Journal of Symbolic Logic.

[10]  Harvey M. Friedman,et al.  One hundred and two problems in mathematical logic , 1975, Journal of Symbolic Logic.

[11]  Valentin Goranko,et al.  Using the Universal Modality: Gains and Questions , 1992, J. Log. Comput..

[12]  Michael Zakharyaschev,et al.  Modal Logic , 1997, Oxford logic guides.

[13]  Silvio Ghilardi,et al.  Unification in intuitionistic logic , 1999, Journal of Symbolic Logic.

[14]  Vladimir V. Rybakov,et al.  Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules , 2005, Log. J. IGPL.

[15]  Christopher Menzel,et al.  Logic and Reality: Essays on the Legacy of Arthur Prior , 2000 .

[16]  G. Mints,et al.  Derivability of admissible rules , 1976 .

[17]  Vladimir V. Rybakov,et al.  FACES OF MONOTONICITY AND WISDOM FORMULAS PROBLEM , 2000 .

[18]  Franz Baader,et al.  A Multi-Dimensional Terminological Knowledge Representation Language , 1993, IJCAI.

[19]  Maarten Marx,et al.  Multi-dimensional modal logic , 1997, Applied logic series.

[20]  Vladimir V. Rybakov,et al.  A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC , 2000, Math. Log. Q..

[21]  Dov M. Gabbay,et al.  Products of Modal Logics, Part 1 , 1998, Log. J. IGPL.

[22]  Rosalie Iemhoff.  A (nother) characterization of intuitionistic propositional logic , 2001, Ann. Pure Appl. Log..

[23]  Vladimir V. Rybakov,et al.  A criterion for admissibility of rules in the model system S4 and the intuitionistic logic , 1984 .

[24]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .