- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Projective unification in transitive modal logics
Logic Journal of the IGPL 26 (5):548-566 (2018)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Remarks about the unification type of several non-symmetric non-transitive modal logics.Philippe Balbiani - 2019 - Logic Journal of the IGPL 27 (5):639-658.
A Syntactic Approach to Unification in Transitive Reflexive Modal Logics.Rosalie Iemhoff - 2016 - Notre Dame Journal of Formal Logic 57 (2):233-247.
Unification in first-order transitive modal logic.Wojciech Dzik & Piotr Wojtylak - forthcoming - Logic Journal of the IGPL.
Unifiers in transitive modal logics for formulas with coefficients.V. Rybakov - 2013 - Logic Journal of the IGPL 21 (2):205-215.
Projective unification in modal logic.Wojciech Dzik & Piotr Wojtylak - 2012 - Logic Journal of the IGPL 20 (1):121-153.
Unification in modal and description logics.Franz Baader & Silvio Ghilardi - 2011 - Logic Journal of the IGPL 19 (6):705-730.
Projective formulas and unification in linear temporal logic LTLU.V. Rybakov - 2014 - Logic Journal of the IGPL 22 (4):665-672.
Unification types in Euclidean modal logics.Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani & Mojtaba Mojtahedi - 2023 - Logic Journal of the IGPL 31 (3):422-440.
Problem of restricted interpolation in superintuitionistic and some modal logics.Larisa Maksimova - 2010 - Logic Journal of the IGPL 18 (3):367-380.
Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality.Stepan I. Bashmakov & Tatyana Yu Zvereva - 2022 - Bulletin of the Section of Logic 51 (3):345-361.
Analytics
Added to PP
2018-06-19
Downloads
27 (#821,816)
6 months
6 (#851,135)
2018-06-19
Downloads
27 (#821,816)
6 months
6 (#851,135)
Historical graph of downloads
Citations of this work
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.
Finitary unification in locally tabular modal logics characterized.Wojciech Dzik, Sławomir Kost & Piotr Wojtylak - 2022 - Annals of Pure and Applied Logic 173 (4):103072.
Unification types in Euclidean modal logics.Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani & Mojtaba Mojtahedi - 2023 - Logic Journal of the IGPL 31 (3):422-440.
Unification types and union splittings in intermediate logics.Wojciech Dzik, Sławomir Kost & Piotr Wojtylak - 2025 - Annals of Pure and Applied Logic 176 (1):103508.
References found in this work
Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.
Unification in modal and description logics.Franz Baader & Silvio Ghilardi - 2011 - Logic Journal of the IGPL 19 (6):705-730.
Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.
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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-f8568656d-zm6qt uwo