First Degree Entailment with Group Attitudes and Information Updates

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
First Degree Entailment with Group Attitudes and Information Updates
Original language description
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.
Czech name
—
Czech description
—

Project
<a href="/en/project/GJ18-19162Y" target="_blank" >GJ18-19162Y: Non-classical logical models of information dynamics</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)