Author name cluster

Vít Puncochár

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

2 papers

1 author row

LORI Conference 2019 Conference Paper

First Degree Entailment with Group Attitudes and Information Updates

Igor Sedlár
Vít Puncochár
Andrew Tedder

Abstract 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.

Details

LORI Conference 2017 Conference Paper

Substructural Logics for Pooling Information

Vít Puncochár
Igor Sedlár

Abstract This paper puts forward a generalization of the account of pooling information – offered by standard epistemic logic – based on intersection of sets of possible worlds. Our account is based on information models for substructural logics and pooling is represented by fusion of information states. This approach yields a representation of pooling related to structured communication within groups of agents. It is shown that the generalized account avoids some problematic features of the intersection-based approach. Our main technical result is a sound and complete axiomatization of a substructural epistemic logic with an operator expressing pooling.

Details