Unifiability in extensions of K4
| Authors |
|
| Publication date |
2009
|
| Journal |
Logic Journal of the IGPL
|
| Volume | Issue number |
17 | 2
|
| Pages (from-to) |
159-172
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| 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.
|
| Document type |
Article
|
| Published at |
https://doi.org/10.1093/jigpal/jzn032
|
|
Permalink to this page
|
Back