First Degree Entailment with Group Attitudes and Information Updates

Igor Sedlár, Vít Punčochář, Andrew Tedder

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…