Relevant propositional dynamic logic.
Relevant propositional dynamic logics have been sporadically discussed in the broader context of modal relevant logics, but have not come up for sustained investigation until recently. In this paper, we develop a philosophical motivation for these systems, and present some new results suggested by t...
| Publicado en: | Synthese Vol. 200; no. 3; pp. 1 - 42 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Jun2022
|
| 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=157090208&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 157090208 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: Jun2022 vid: 200 iid: 3 pid: 237 pub: Springer Nature artinfo: ui: 157090208 10.1007/s11229-022-03732-9 ppf: 1 ppct: 41 formats: fmt: – @attributes: type: T – @attributes: type: P size: 563KB tig: atl: Relevant propositional dynamic logic. aug: au: Tedder, Andrew Bilková, Marta affil: Institute of Computer Science of the Czech Academy of Sciences, Prague, Czech Republic Institute of Philosophy of the Czech Academy of Sciences, Prague, Czech Republic sug: keyword: Non-classical modal logics Propositional dynamic logic Relevant logic ab: Relevant propositional dynamic logics have been sporadically discussed in the broader context of modal relevant logics, but have not come up for sustained investigation until recently. In this paper, we develop a philosophical motivation for these systems, and present some new results suggested by the proposed motivation. Among these, we’ll show how to adapt some recent work to show that the extensions of relevant logics by the extensional truth constants ⊤ , ⊥ are complete with respect to a natural class of ternary relation models to show a similar result for the constant-free versions of the logic. In addition, we prove that the logics in question satisfy the variable sharing property, vindicating the claim that they really are relevant logics. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Synthese is a copyright of Springer, 2022. All Rights Reserved. item: Synthese holder: Springer Nature dt: @attributes: year: 2022 holdings: @attributes: islocal: N |
|---|