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 |
|
| 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
(Final published version)
|
| Permalink to this page | |