Vít Puncochár

According to our database, Vít Puncochár authored at least 23 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Informative Presupposition in Inquisitive Logic.

Vít Puncochár, Ivo Pezlar

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

Relevant epistemic logic with public announcements and common knowledge.

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

J. Log. Comput., March, 2023

Structural Completeness and Superintuitionistic Inquisitive Logics.

Thomas Macaulay Ferguson, Vít Puncochár

Proceedings of the Logic, Language, Information, and Computation, 2023

Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics.

Vít Puncochár

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022

Routley Star in Information-Based Semantics.

Vít Puncochár, Igor Sedlár

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Natural Deduction for Assertibility and Deniability.

Vít Puncochár, Berta Grimau

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Iterated team semantics for a hierarchy of informational types.

Vít Puncochár

Ann. Pure Appl. Log., 2022

2021

Inquisitive Heyting Algebras.

Vít Puncochár

Stud Logica, 2021

Epistemic extensions of substructural inquisitive logics.

Vít Puncochár, Igor Sedlár

J. Log. Comput., 2021

Inquisitive Propositional Dynamic Logic.

Vít Puncochár, Igor Sedlár

J. Log. Lang. Inf., 2021

Disjunction and Negation in Information Based Semantics.

Vít Puncochár, Andrew Tedder

Proceedings of the Logic, Language, Information, and Computation, 2021

Relevant Epistemic Logic with Public Announcements and Common Knowledge.

Vít Puncochár, Igor Sedlár

Proceedings of the Logic and Argumentation - 4th International Conference, 2021

2020

A Relevant Logic of Questions.

Vít Puncochár

J. Philos. Log., 2020

Inquisitive Dynamic Epistemic Logic in a Non-classical Setting.

Vít Puncochár

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

2019

Substructural Inquisitive Logics.

Vít Puncochár

Rev. Symb. Log., 2019

From positive PDL to its non-classical extensions.

Igor Sedlár, Vít Puncochár

Log. J. IGPL, 2019

First Degree Entailment with Group Attitudes and Information Updates.

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

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

2017

Algebras of Information States.

Vít Puncochár

J. Log. Comput., 2017

Knowledge Is a Diamond.

Vít Puncochár

Proceedings of the Logic, Language, Information, and Computation, 2017

Substructural Logics for Pooling Information.

Vít Puncochár, Igor Sedlár

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2016

A Generalization of Inquisitive Semantics.

Vít Puncochár

J. Philos. Log., 2016

2015

Weak Negation in Inquisitive Semantics.

Vít Puncochár

J. Log. Lang. Inf., 2015

2012

Some Modifications of Carnap's Modal Logic.

Vít Puncochár

Stud Logica, 2012