Počet záznamů: 1
First Degree Entailment with Group Attitudes and Information Updates
- 1.
SYSNO ASEP 0511426 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název First Degree Entailment with Group Attitudes and Information Updates Tvůrce(i) Sedlár, Igor (UIVT-O) RID, ORCID, SAI
Punčochář, Vít (UIVT-O) RID, ORCID, SAI
Tedder, Andrew (UIVT-O) RID, ORCID, SAIZdroj.dok. Logic, Rationality, and Interaction. - Berlin : Springer, 2019 / Blackburn P. ; Lorini E. ; Guo M. - ISSN 0302-9743 - ISBN 978-3-662-60291-1 Rozsah stran s. 273-285 Poč.str. 13 s. Forma vydání Tištěná - P Akce LORI 2019. International Workshop on Logic, Rationality, and Interaction /7./ Datum konání 18.10.2019 - 21.10.2019 Místo konání Chongqing Země CN - Čína Typ akce WRD Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova Common knowledge ; Epistemic logic ; First Degree Entailment ; Information update ; Lambek Calculus Vědní obor RIV BA - Obecná matematika Obor OECD Pure mathematics CEP GJ18-19162Y GA ČR - Grantová agentura ČR Institucionální podpora UIVT-O - RVO:67985807 EID SCOPUS 85075686609 DOI 10.1007/978-3-662-60292-8_20 Anotace 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. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2020
Počet záznamů: 1