Axiomatization of a Branching Time Logic with Indistinguishability Relations.
Trees with indistinguishability relations provide a semantics for a temporal language 'composed by' the Peircean tense operators and the Ockhamist modal operator. In this paper, a finite axiomatization with a non standard rule for this language interpreted over bundled trees with indistinguishabilit...
| Publicado en: | Journal of Philosophical Logic Vol. 45; no. 2; pp. 155 - 183 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Apr2016
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=114884895&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 114884895 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00223611 JPH jtl: Journal of Philosophical Logic issn: 00223611 maglogo: N pubinfo: dt: Apr2016 vid: 45 iid: 2 pid: 237 pub: Springer Nature artinfo: ui: 114884895 10.1007/s10992-015-9369-3 ppf: 155 ppct: 28 formats: fmt: @attributes: type: P size: 546KB tig: atl: Axiomatization of a Branching Time Logic with Indistinguishability Relations. aug: au: Gatto, Alberto affil: Department of Computing, Imperial College London, London SW7 2AZ UK su: Semantics (Philosophy) Mathematical logic Language & languages Rules (Philosophy) Interpretation (Philosophy) sug: subj: Semantics (Philosophy) Mathematical logic Language & languages Rules (Philosophy) Interpretation (Philosophy) keyword: Branching-time Bundled tree Finite axiomatization Indistinguishability Irreflexivity rule Strong completeness ab: Trees with indistinguishability relations provide a semantics for a temporal language 'composed by' the Peircean tense operators and the Ockhamist modal operator. In this paper, a finite axiomatization with a non standard rule for this language interpreted over bundled trees with indistinguishability relations is given. This axiomatization is proved to be sound and strongly complete. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Journal of Philosophical Logic is a copyright of Springer, 2016. All Rights Reserved. item: Journal of Philosophical Logic holder: Springer Nature dt: @attributes: year: 2016 holdings: @attributes: islocal: N |
|---|