Vít Puncochár

27 papers A* 1B 1C 3Journal 15Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Consistency-Sensitive Epistemic Modalities in Information-Based Semantics.
Stud Logica
Vít Puncochár, Marta Bílková, Sena Bozdag, Thomas M. Ferguson
2025 J jnl
Inquisitive split and structural completeness.
Math. Struct. Comput. Sci.
Thomas M. Ferguson, Vít Puncochár
2024 B conf
Informative Presupposition in Inquisitive Logic.
AiML
Vít Puncochár, Ivo Pezlar
2023 — conf
Analytic Implication and Equivalence in Truthmaker Semantics for Intuitionistic Logic.
Tbilisi
Vít Puncochár, Thomas M. Ferguson
2023 A* conf
Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics.
KR
Vít Puncochár
2023 J jnl
Relevant epistemic logic with public announcements and common knowledge.
J. Log. Comput.
Vít Puncochár, Igor Sedlár, Andrew Tedder
2023 C conf
Structural Completeness and Superintuitionistic Inquisitive Logics.
WoLLIC
Thomas Macaulay Ferguson, Vít Puncochár
2022 J jnl
Iterated team semantics for a hierarchy of informational types.
Ann. Pure Appl. Log.
Vít Puncochár
2022 — conf
Natural Deduction for Assertibility and Deniability.
NCL
Vít Puncochár, Berta Grimau
2022 — conf
Routley Star in Information-Based Semantics.
NCL
Vít Puncochár, Igor Sedlár
2021 C conf
Disjunction and Negation in Information Based Semantics.
WoLLIC
Vít Puncochár, Andrew Tedder
2021 J jnl
Epistemic extensions of substructural inquisitive logics.
J. Log. Comput.
Vít Puncochár, Igor Sedlár
2021 J jnl
Inquisitive Heyting Algebras.
Stud Logica
Vít Puncochár
2021 J jnl
Inquisitive Propositional Dynamic Logic.
J. Log. Lang. Inf.
Vít Puncochár, Igor Sedlár
2021 — conf
Relevant Epistemic Logic with Public Announcements and Common Knowledge.
CLAR
Vít Puncochár, Igor Sedlár
2020 J jnl
A Relevant Logic of Questions.
J. Philos. Log.
Vít Puncochár
2020 — conf
Inquisitive Dynamic Epistemic Logic in a Non-classical Setting.
DaLí
Vít Puncochár
2019 — conf
First Degree Entailment with Group Attitudes and Information Updates.
LORI
Igor Sedlár, Vít Puncochár, Andrew Tedder
2019 J jnl
First Degree Entailment with Group Attitudes and Information Updates.
CoRR
Igor Sedlár, Vít Puncochár, Andrew Tedder
2019 J jnl
From positive PDL to its non-classical extensions.
Log. J. IGPL
Igor Sedlár, Vít Puncochár
2019 J jnl
Substructural Inquisitive Logics.
Rev. Symb. Log.
Vít Puncochár
2017 J jnl
Algebras of Information States.
J. Log. Comput.
Vít Puncochár
2017 C conf
Knowledge Is a Diamond.
WoLLIC
Vít Puncochár
2017 — conf
Substructural Logics for Pooling Information.
LORI
Vít Puncochár, Igor Sedlár
2016 J jnl
A Generalization of Inquisitive Semantics.
J. Philos. Log.
Vít Puncochár
2015 J jnl
Weak Negation in Inquisitive Semantics.
J. Log. Lang. Inf.
Vít Puncochár
2012 J jnl
Some Modifications of Carnap's Modal Logic.
Stud Logica
Vít Puncochár