Vít Puncochár

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 21

Top Topics

Fuzzy Information

Formal Semantics

Dynamic Epistemic Logic

Natural Deduction

Top Venues

J. Log. Comput.

J. Log. Lang. Inf.

J. Philos. Log.

Publications

Thomas Ferguson, Vít Puncochár
Structural Completeness and Superintuitionistic Inquisitive Logics. WoLLIC (2023)
Vít Puncochár
Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics. KR (2023)
Vít Puncochár, Igor Sedlár, Andrew Tedder
Relevant epistemic logic with public announcements and common knowledge. J. Log. Comput. 33 (2) (2023)
Vít Puncochár
Iterated team semantics for a hierarchy of informational types. Ann. Pure Appl. Log. 173 (10) (2022)
Vít Puncochár, Igor Sedlár
Routley Star in Information-Based Semantics. NCL (2022)
Vít Puncochár, Berta Grimau
Natural Deduction for Assertibility and Deniability. NCL (2022)
Vít Puncochár
Inquisitive Heyting Algebras. Stud Logica 109 (5) (2021)
Vít Puncochár, Igor Sedlár
Relevant Epistemic Logic with Public Announcements and Common Knowledge. CLAR (2021)
Vít Puncochár, Igor Sedlár
Inquisitive Propositional Dynamic Logic. J. Log. Lang. Inf. 30 (1) (2021)
Vít Puncochár, Igor Sedlár
Epistemic extensions of substructural inquisitive logics. J. Log. Comput. 31 (7) (2021)
Vít Puncochár, Andrew Tedder
Disjunction and Negation in Information Based Semantics. WoLLIC (2021)
Vít Puncochár
Inquisitive Dynamic Epistemic Logic in a Non-classical Setting. DaLí (2020)
Vít Puncochár
A Relevant Logic of Questions. J. Philos. Log. 49 (5) (2020)
Vít Puncochár
Substructural Inquisitive Logics. Rev. Symb. Log. 12 (2) (2019)
Igor Sedlár, Vít Puncochár, Andrew Tedder
First Degree Entailment with Group Attitudes and Information Updates. LORI (2019)
Igor Sedlár, Vít Puncochár, Andrew Tedder
First Degree Entailment with Group Attitudes and Information Updates. CoRR (2019)
Igor Sedlár, Vít Puncochár
From positive PDL to its non-classical extensions. Log. J. IGPL 27 (4) (2019)
Vít Puncochár, Igor Sedlár
Substructural Logics for Pooling Information. LORI (2017)
Vít Puncochár
Algebras of Information States. J. Log. Comput. 27 (5) (2017)
Vít Puncochár
Knowledge Is a Diamond. WoLLIC (2017)
Vít Puncochár
A Generalization of Inquisitive Semantics. J. Philos. Log. 45 (4) (2016)
Vít Puncochár
Weak Negation in Inquisitive Semantics. J. Log. Lang. Inf. 24 (3) (2015)
Vít Puncochár
Some Modifications of Carnap's Modal Logic. Stud Logica 100 (3) (2012)