Počet záznamů: 1
First Degree Entailment with Group Attitudes and Information Updates
- 1.0511426 - ÚI 2020 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor - Punčochář, Vít - Tedder, Andrew
First Degree Entailment with Group Attitudes and Information Updates.
Logic, Rationality, and Interaction. Berlin: Springer, 2019 - (Blackburn, P.; Lorini, E.; Guo, M.), s. 273-285. Lecture Notes in Computer Science, 11813. ISBN 978-3-662-60291-1. ISSN 0302-9743.
[LORI 2019. International Workshop on Logic, Rationality, and Interaction /7./. Chongqing (CN), 18.10.2019-21.10.2019]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Common knowledge * Epistemic logic * First Degree Entailment * Information update * Lambek Calculus
Obor OECD: Pure mathematics
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.
Trvalý link: http://hdl.handle.net/11104/0301697
Počet záznamů: 1