Unification types in Euclidean modal logics

, , &
Logic Journal of the IGPL 31 (3):422-440 (2023)
  Copy   BIBTEX

Abstract

We prove that $\textbf {K}5$ and some of its extensions that do not contain $\textbf {K}4$ are of unification type $1$.

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzab036

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,748

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

Remarks about the unification types of some locally tabular normal modal logics.Philippe Balbiani, ÇiĞdem Gencer, Maryam Rostamigiv & Tinko Tinchev - 2023 - Logic Journal of the IGPL 31 (1):115-139.
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in $$\text {NExtK4.3}$$.Ming Xu - 2023 - Studia Logica 111 (6):899-946.
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness.Mikhail Rybakov - forthcoming - Logic Journal of the IGPL.
Intuitionistic Public Announcement Logic with Distributed Knowledge.Ryo Murai & Katsuhiko Sano - 2024 - Studia Logica 112 (3):661-691.
Mojtaba Mojtahedi, Shahid Rahman, and Mohammad Saleh Zarepour, eds. Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir.[author unknown] - 2021 - Philosophia Mathematica 29 (3):451-452.
Profinite Locally Finite Quasivarieties.Anvar M. Nurakunov & Marina V. Schwidefsky - 2024 - Studia Logica 112 (4):835-859.
Ranks based on strong amalgamation Fraïssé classes.Vincent Guingona & Miriam Parnes - 2023 - Archive for Mathematical Logic 62 (7):889-929.
Non-contingency in a Paraconsistent Setting.Daniil Kozhemiachenko & Liubov Vashentseva - forthcoming - Logic Journal of the IGPL.
A modal extension of Jaśkowski’s discussive logic $\textbf{D}_\textbf{2}$.Krystyna Mruczek-Nasieniewska, Marek Nasieniewski & Andrzej Pietruszczak - 2019 - Logic Journal of the IGPL 27 (4):451-477.
Undecidability of admissibility in the product of two Alt logics.Philippe Balbiani & Çiğdem Gencer - 2025 - Logic Journal of the IGPL 33 (1):62-73.

Analytics

Added to PP
2022-04-09

Downloads
35 (#701,484)

6 months
8 (#482,871)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Modal logic.Yde Venema - 2000 - Philosophical Review 109 (2):286-289.
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.

View all 19 references / Add more references