Relevant Propositional Dynamic Logic

Kód výsledku v 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>

Nalezeny alternativní kódy

RIV/67985955:_____/22:00558723

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Relevant Propositional Dynamic Logic

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Relevant Propositional Dynamic Logic

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2022

Kód důvěrnosti údajů

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

Název periodika

Synthese

ISSN

0039-7857

e-ISSN

1573-0964

Svazek periodika

200

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

42

Strana od-do

235

Kód UT WoS článku

000801140700002

EID výsledku v databázi Scopus

2-s2.0-85130704181