1 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.LO2022★ 1 cited
Routley Star in Information-Based Semantics
Vít Punčochář, Igor Sedlár
It is common in various non-classical logics, especially in relevant logics, to characterize negation semantically via the operation known as Routley star. This operation works wel…
cs.LO2022★ 1 cited
Natural Deduction for Assertibility and Deniability
Vít Punčochář, Berta Grimau
In this paper we split every basic propositional connective into two versions, one is called extensional and the other one intensional. The extensional connectives are semantically…
cs.LO2019
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…