Inquisitive Propositional Dynamic Logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F21%3A00537581" target="_blank" >RIV/67985807:_____/21:00537581 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/s10849-020-09326-3" target="_blank" >http://dx.doi.org/10.1007/s10849-020-09326-3</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s10849-020-09326-3" target="_blank" >10.1007/s10849-020-09326-3</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Inquisitive Propositional Dynamic Logic

Popis výsledku v původním jazyce

This paper combines propositional dynamic logic (PDL) with propositional inquisitive logic (InqB). The result of this combination is a logical system InqPDL that conservatively extends both PDL and InqB, and, moreover, allows for an interaction of the question-forming operator from InqB with the structured modalities from PDL. We study this system from a semantic as well as a syntactic point of view. These two perspectives are linked via a completeness proof, which also shows that InqPDL is decidable.

Název v anglickém jazyce

Inquisitive Propositional Dynamic Logic

Popis výsledku anglicky

This paper combines propositional dynamic logic (PDL) with propositional inquisitive logic (InqB). The result of this combination is a logical system InqPDL that conservatively extends both PDL and InqB, and, moreover, allows for an interaction of the question-forming operator from InqB with the structured modalities from PDL. We study this system from a semantic as well as a syntactic point of view. These two perspectives are linked via a completeness proof, which also shows that InqPDL is decidable.

Druh

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

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

<a href="/cs/project/GJ18-19162Y" target="_blank" >GJ18-19162Y: Neklasické logické modely informační dynamiky</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2021

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

Journal of Logic, Language, and Information

ISSN

0925-8531

e-ISSN

1572-9583

Svazek periodika

30

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

CH - Švýcarská konfederace

Počet stran výsledku

26

Strana od-do

91-116

Kód UT WoS článku

000606311400001

EID výsledku v databázi Scopus

2-s2.0-85099218382