Unifiability in extensions of K4

&
Logic Journal of the IGPL 17 (2):159-172 (2009)
  Copy   BIBTEX

Abstract

We extend and generalize the work on unifiability of [8]. We give a semantic characterization for unifiability and non-unifiability in the extensions of K4. We apply this in particular to extensions of KD4, GL and K4.3 to obtain a syntactic characterization and give a concrete decision procedure for unifiability for those logics. For that purpose we use universal models

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzn032

Links

PhilArchive



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

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

Unifiability and admissibility in finite algebras.George Metcalfe & Christoph Röthlisberger - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 485--495.
On pain of irrationality : Refuting relativistic challenges to the unifiability of knowledge.Anjum P. Saleemi - 2005 - In Anjum P. Saleemi, Ocke-Schwen Bohn & Albert Gjedde (eds.), In Search of a Language for the Mind-Brain: Can the Multiple Perspectives Be Unified? Aarhus University Press ;.
The contribution of A.V. Kuznetsov to the theory of modal systems and structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses.Timothy Williamson - 1998 - Notre Dame Journal of Formal Logic 39 (1):128-134.
On cofinal extensions of models of arithmetic.Henryk Kotlarski - 1983 - Journal of Symbolic Logic 48 (2):253-262.
Polymodal Logics of Commuting Functions.Aleksey Kravtsov - 2002 - Logic Journal of the IGPL 10 (5):517-533.
An almost general splitting theorem for modal logic.Marcus Kracht - 1990 - Studia Logica 49 (4):455 - 470.
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Bimodal logics for extensions of arithmetical theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.
Filters and natural extensions of closure systems.Roman Suszko & Tamara Weinfeld - 1979 - Bulletin of the Section of Logic 8 (3):130-132.
The Kuznetsov-Gerčiu and Rieger-Nishimura logics.Guram Bezhanishvili, Nick Bezhanishvili & Dick de Jongh - 2008 - Logic and Logical Philosophy 17 (1-2):73-110.
A set of axioms for nonstandard extensions.Abhijit Dasgupta - 2011 - Mathematical Logic Quarterly 57 (5):485-493.
Completeness and conservative extension results for some Boolean relevant logics.Steve Giambrone & Robert K. Meyer - 1989 - Studia Logica 48 (1):1 - 14.
Lattices of modal logics and their groups of automorphisms.Marcus Kracht - 1999 - Annals of Pure and Applied Logic 100 (1-3):99-139.
Generalized ordinal sums and translations.Nikolaos Galatos - 2011 - Logic Journal of the IGPL 19 (3):455-466.

Analytics

Added to PP
2015-02-04

Downloads
10 (#1,184,994)

6 months
4 (#779,417)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dick De De Jongh
University of Amsterdam

Citations of this work

Unification in epistemic logics.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):91-105.
KD is nullary.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):196-205.
Projective unification in transitive modal logics.Sławomir Kost - 2018 - Logic Journal of the IGPL 26 (5):548-566.

View all 13 citations / Add more citations

References found in this work

Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.
Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.
An essay on unification and inference rules for modal logics.V. V. Rybakov, M. Terziler & C. Gencer - 1999 - Bulletin of the Section of Logic 28 (3):145-157.

Add more references