First Degree Entailment with Group Attitudes and Information Updates

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F19%3A00511426" target="_blank" >RIV/67985807:_____/19:00511426 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-662-60292-8_20" target="_blank" >http://dx.doi.org/10.1007/978-3-662-60292-8_20</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-662-60292-8_20" target="_blank" >10.1007/978-3-662-60292-8_20</a>

Jazyk výsledku

angličtina

Název v původním jazyce

First Degree Entailment with Group Attitudes and Information Updates

Popis výsledku v původním jazyce

We extend the epistemic logic with De Morgan negation by Fagin et al. (Artif. Intell. 79, 203–240, 1995) by adding operators for universal and common knowledge in a group of agents, and with a formalization of information update using a generalized version of the left division connective of the non-associative Lambek calculus. We provide sound and complete axiomatizations of the basic logic with the group operators and the basic logic with group operators and updates. Both logics are shown to be decidable.

Název v anglickém jazyce

First Degree Entailment with Group Attitudes and Information Updates

Popis výsledku anglicky

We extend the epistemic logic with De Morgan negation by Fagin et al. (Artif. Intell. 79, 203–240, 1995) by adding operators for universal and common knowledge in a group of agents, and with a formalization of information update using a generalized version of the left division connective of the non-associative Lambek calculus. We provide sound and complete axiomatizations of the basic logic with the group operators and the basic logic with group operators and updates. Both logics are shown to be decidable.

Druh

D - Stať ve sborníku

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í

2019

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

Logic, Rationality, and Interaction

ISBN

978-3-662-60291-1

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

13

Strana od-do

273-285

Název nakladatele

Springer

Místo vydání

Berlin

Místo konání akce

Chongqing

Datum konání akce

18. 10. 2019

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

WRD - Celosvětová akce

Kód UT WoS článku

—