PP-2007-38: Gencer, Çigdem and de Jongh, Dick (2007) Unifiability in extensions of K4. [Report]
Preview |
Text (Full Text)
PP-2007-38.text.pdf Download (137kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2007-38.abstract.txt Download (450B) |
Abstract
We give a semantic characterization for unifiability and
non-unifiablity in the extensions of K4. We apply this in particular
to extensions of KD4, GL and K4.3 to obtaina syntactic
characterization and prove decidability for these logics. For that
purpose we use universal models.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2007-38 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2007 |
| Uncontrolled Keywords: | unification; closed formula; universal model; provability logic; unifier |
| Subjects: | Logic |
| Depositing User: | Prof. Dick de Jongh |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/272 |
Actions (login required)
 |
View Item |
