About the Unification Type of Modal Logics Between

&
Studia Logica 108 (5):941-966 (2020)
  Copy   BIBTEX

Abstract

The unification problem in a normal modal logic is to determine, given a formula

Categories

Keywords

Reprint years

DOI

10.1007/s11225-019-09883-0

Links

PhilArchive



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

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

On the Complexity of Propositional Quantification in Intuitionistic Logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Bounding Minimal Degrees by Computably Enumerable Degrees.Angsheng Li & Dongping Yang - 1998 - Journal of Symbolic Logic 63 (4):1319-1347.
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics.D. M. Gabbay - 1996 - Journal of Symbolic Logic 61 (3):1057-1120.
Defining Relevant Implication in a Propositionally Quantified S4.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (4):1057-1069.
Modal Consequence Relations Extending $mathbf{S4.3}$: An Application of Projective Unification.Wojciech Dzik & Piotr Wojtylak - 2016 - Notre Dame Journal of Formal Logic 57 (4):523-549.
Degrees joining to 0'. [REVIEW]David B. Posner & Robert W. Robinson - 1981 - Journal of Symbolic Logic 46 (4):714 - 722.
Review: A. N. Prior, Notes on a Group of New Modal Systems; R. A. Bull, An Axiomatization of Prior's Modal Calculus $mathbf{Q}$; A. N. Prior, Axiomatisations of the Modal Calculus $mathbf{Q}$. [REVIEW]M. J. Cresswell - 1970 - Journal of Symbolic Logic 35 (3):464-464.
The decidability of dependency in intuitionistic propositional Logi.Dick de Jongh & L. A. Chagrova - 1995 - Journal of Symbolic Logic 60 (2):498-504.
Degrees That Are Not Degrees of Categoricity.Bernard Anderson & Barbara Csima - 2016 - Notre Dame Journal of Formal Logic 57 (3):389-398.
Relativized logspace and generalized quantifiers over finite ordered structures.Georg Gottlob - 1997 - Journal of Symbolic Logic 62 (2):545-574.
New Consecution Calculi for R→t.Katalin Bimbó & J. Michael Dunn - 2012 - Notre Dame Journal of Formal Logic 53 (4):491-509.
Generalized Nonsplitting in the Recursively Enumerable Degrees.Steven Leonhardi - 1997 - Journal of Symbolic Logic 62 (2):397-437.
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.
On the Decidability of Axiomatized Mereotopological Theories.Hsing-Chien Tsai - 2015 - Notre Dame Journal of Formal Logic 56 (2):287-306.
Diverse classes.John T. Baldwin - 1989 - Journal of Symbolic Logic 54 (3):875-893.

Analytics

Added to PP
2019-11-12

Downloads
24 (#620,575)

6 months
10 (#219,185)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Unification in modal and description logics.Franz Baader & Silvio Ghilardi - 2011 - Logic Journal of the IGPL 19 (6):705-730.
Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.
Complexity of admissible rules.Emil Jeřábek - 2007 - Archive for Mathematical Logic 46 (2):73-92.
Unification in epistemic logics.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):91-105.

View all 8 references / Add more references