Projective unification in transitive modal logics
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2018/06/18
-
Journal
-
Indian UGC (journal)
-
Refrences13
-
Citations8
-
Sławomir Kost Institute of Mathematics and Informatics, Opole University, Opole, Poland
Cite
Kost, Sławomir. “Projective Unification in Transitive Modal Logics”. Logic Journal of the IGPL, vol. 26, no. 5, 2018, pp. 548-66, https://doi.org/10.1093/jigpal/jzy013.
Kost, S. (2018). Projective unification in transitive modal logics. Logic Journal of the IGPL, 26(5), 548-566. https://doi.org/10.1093/jigpal/jzy013
Kost, Sławomir. “Projective Unification in Transitive Modal Logics”. Logic Journal of the IGPL 26, no. 5 (2018): 548-66. https://doi.org/10.1093/jigpal/jzy013.
Kost S. Projective unification in transitive modal logics. Logic Journal of the IGPL. 2018;26(5):548-66.
Journal Categories
Science
Mathematics
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Almost structural completeness; an algebraic approach | Annals of Pure and Applied Logic |
| 11 | 2016 |
| Projective unification in modal logic | Logic Journal of the IGPL |
| 27 | 2012 |
| Unification in modal and description logics | Logic Journal of the IGPL |
| 34 | 2011 |
| Best solving modal equations | Annals of Pure and Applied Logic |
| 2000 | |
| Remarks on projective unifiers | 2011 |
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
Projective relative unification through duality | Journal of Logic and Computation |
| 2023 | |
| Finitary unification in locally tabular modal logics characterized | Annals of Pure and Applied Logic |
| 1 | 2022 |
Remarks about the unification types of some locally tabular normal modal logics | Logic Journal of the IGPL |
| 1 | 2022 |
Unification types in Euclidean modal logics | Logic Journal of the IGPL |
| 2022 | |
Projective unification in weakly transitive and weakly symmetric modal logics | Journal of Logic and Computation |
| 2022 |
Citations Analysis
The category
Science: Mathematics 8
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Unification in first-order transitive modal logic and was published in 2019. The most recent citation comes from a 2023 study titled Projective relative unification through duality. This article reached its peak citation in 2022, with 4 citations. It has been cited in 4 different journals. Among related journals, the Journal of Logic and Computation cited this research the most, with 3 citations. The chart below illustrates the annual citation trends for this article.