Number of the records: 1
First Degree Entailment with Group Attitudes and Information Updates
- 1.
SYSNO ASEP 0511426 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title First Degree Entailment with Group Attitudes and Information Updates Author(s) Sedlár, Igor (UIVT-O) RID, ORCID, SAI
Punčochář, Vít (UIVT-O) RID, ORCID, SAI
Tedder, Andrew (UIVT-O) RID, ORCID, SAISource Title Logic, Rationality, and Interaction. - Berlin : Springer, 2019 / Blackburn P. ; Lorini E. ; Guo M. - ISSN 0302-9743 - ISBN 978-3-662-60291-1 Pages s. 273-285 Number of pages 13 s. Publication form Print - P Action LORI 2019. International Workshop on Logic, Rationality, and Interaction /7./ Event date 18.10.2019 - 21.10.2019 VEvent location Chongqing Country CN - China Event type WRD Language eng - English Country DE - Germany Keywords Common knowledge ; Epistemic logic ; First Degree Entailment ; Information update ; Lambek Calculus Subject RIV BA - General Mathematics OECD category Pure mathematics R&D Projects GJ18-19162Y GA ČR - Czech Science Foundation (CSF) Institutional support UIVT-O - RVO:67985807 EID SCOPUS 85075686609 DOI 10.1007/978-3-662-60292-8_20 Annotation 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. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2020
Number of the records: 1