Relevant Propositional Dynamic Logic

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F22%3A00558723" target="_blank" >RIV/67985807:_____/22:00558723 - isvavai.cz</a>
Alternative codes found
RIV/67985955:_____/22:00558723
Result on the web
<a href="http://dx.doi.org/10.1007/s11229-022-03732-9" target="_blank" >http://dx.doi.org/10.1007/s11229-022-03732-9</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s11229-022-03732-9" target="_blank" >10.1007/s11229-022-03732-9</a>

Result language
angličtina
Original language name
Relevant Propositional Dynamic Logic
Original language description
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 T, perpendicular to 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.
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2022
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)