Inquisitive Dynamic Epistemic Logic in a Non-classical Setting

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F20%3A00538225" target="_blank" >RIV/67985807:_____/20:00538225 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-030-65840-3_13" target="_blank" >http://dx.doi.org/10.1007/978-3-030-65840-3_13</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-030-65840-3_13" target="_blank" >10.1007/978-3-030-65840-3_13</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Inquisitive Dynamic Epistemic Logic in a Non-classical Setting

Popis výsledku v původním jazyce

This paper studies the operations of public announcement of statements and public utterance of questions in the context of substructutral inquisitive epistemic logic. It was shown elsewhere that the logical laws governing the modalities of knowing and entertaining from standard inquisitive epistemic logic generalize smoothly to substructural logics. In this paper we show that the situation is different with the reduction axioms that in the standard setting govern the modality of public announcement/utterance. The standard reduction axioms depend on some features of classical logic that are not preserved in substructural logics. Using an additional auxiliary modality, we show how to overcome this obstacle and formulate an alternative set of reduction axioms for the public announcement/utterance modality that can be used even in the context of our general non-classical setting.

Název v anglickém jazyce

Inquisitive Dynamic Epistemic Logic in a Non-classical Setting

Popis výsledku anglicky

This paper studies the operations of public announcement of statements and public utterance of questions in the context of substructutral inquisitive epistemic logic. It was shown elsewhere that the logical laws governing the modalities of knowing and entertaining from standard inquisitive epistemic logic generalize smoothly to substructural logics. In this paper we show that the situation is different with the reduction axioms that in the standard setting govern the modality of public announcement/utterance. The standard reduction axioms depend on some features of classical logic that are not preserved in substructural logics. Using an additional auxiliary modality, we show how to overcome this obstacle and formulate an alternative set of reduction axioms for the public announcement/utterance modality that can be used even in the context of our general non-classical setting.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

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í

2020

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 statě ve sborníku

Dynamic Logic: New Trends and Applications

ISBN

978-3-030-65839-7

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

17

Strana od-do

205-221

Název nakladatele

Springer

Místo vydání

Cham

Místo konání akce

Prague / Online

Datum konání akce

9. 10. 2020

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—