Loading...

Unification types in Euclidean modal logics

Alizadeh, M ; Sharif University of Technology | 2023

0 Viewed
  1. Type of Document: Article
  2. DOI: 10.1093/jigpal/jzab036
  3. Publisher: Oxford University Press , 2023
  4. Abstract:
  5. We prove that K5 and some of its extensions that do not contain K4 are of unification type 1. © The Author(s) 2022. Published by Oxford University Press. All rights reserved
  6. Keywords:
  7. Extensions of K5 ; Normal modal logics ; Projective formulas ; Unification types
  8. Source: Logic Journal of the IGPL ; Volume 31, Issue 3 , 2023 , Pages 422-440 ; 13670751 (ISSN)
  9. URL: https://academic.oup.com/jigpal/article-abstract/31/3/422/6515583?redirectedFrom=fulltext