Search results
- 1.0575737 - FLÚ 2024 RIV GR eng C - Conference Paper (international conference)
Punčochář, Vít
Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. Rhodes: International Joint Conferences on Artificial Intelligence Organization, 2023 - (Marquis, P.; Son, T.; Kern-Isberner, G.), s. 572-581. ISBN 978-1-956792-02-7.
[KR2023: International Conference on Principles of Knowledge Representation and Reasoning /20./. Rhodes (GR), 02.09.2023-08.09.2023]
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : fuzzy logic * logic of questions * inquisitive semantics * information states
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.24963/kr.2023/56
Permanent Link: https://hdl.handle.net/11104/0346057 - 2.0546145 - FLÚ 2022 RIV NL eng J - Journal Article
Punčochář, Vít
Inquisitive Heyting Algebras.
Studia Logica. Roč. 109, č. 5 (2021), s. 995-1017. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA ČR(CZ) GA20-18675S
Institutional support: RVO:67985955
Keywords : Logic of questions * Inquisitive logic * Intuitionistic logic * Superintuitionistic logics * Heyting algebras * Algebraic semantics * Antichains
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.833, year: 2021
Method of publishing: Limited access
https://doi.org/10.1007/s11225-020-09936-9
Permanent Link: http://hdl.handle.net/11104/0322696 - 3.0542814 - ÚI 2022 RIV GB eng J - Journal Article
Punčochář, Vít - Sedlár, Igor
Epistemic Extensions of Substructural Inquisitive Logics.
Journal of Logic and Computation. Roč. 31, č. 7 (2021), s. 1820-1844. ISSN 0955-792X. E-ISSN 1465-363X
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : epistemic logic * modal logic * substructural logic * inquisitive logic * logic of questions
OECD category: Pure mathematics
Impact factor: 0.509, year: 2021
Method of publishing: Limited access
http://dx.doi.org/10.1093/logcom/exab008
Permanent Link: http://hdl.handle.net/11104/0320152 - 4.0537581 - ÚI 2022 RIV CH eng J - Journal Article
Punčochář, Vít - Sedlár, Igor
Inquisitive Propositional Dynamic Logic.
Journal of Logic, Language, and Information. Roč. 30, č. 1 (2021), s. 91-116. ISSN 0925-8531. E-ISSN 1572-9583
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : Inquisitive semantics * Propositional dynamic logic * Logic of programs * Logic of questions
OECD category: Pure mathematics
Impact factor: 0.617, year: 2021
Method of publishing: Limited access
http://dx.doi.org/10.1007/s10849-020-09326-3
Permanent Link: http://hdl.handle.net/11104/0315403File Download Size Commentary Version Access 0537581-afin.pdf 1 460.9 KB Publisher’s postprint open-access - 5.0505202 - FLÚ 2020 RIV GB eng J - Journal Article
Punčochář, Vít
Substructural inquisitive logics.
Review of Symbolic Logic. Roč. 12, č. 2 (2019), s. 296-330. ISSN 1755-0203. E-ISSN 1755-0211
R&D Projects: GA ČR(CZ) GC16-07954J
Institutional support: RVO:67985955
Keywords : inquisitive semantics * logic of questions * substructural logic * classical logic * intuitionistic logic * fuzzy logic
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.750, year: 2019
Method of publishing: Limited access
https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/substructural-inquisitive-logics/81285524FFC11723B452B2D8434FEF79
Permanent Link: http://hdl.handle.net/11104/0296698 - 6.0479305 - FLÚ 2018 RIV GB eng C - Conference Paper (international conference)
Punčochář, Vít
A general framework for logics of questions.
The Logica Yearbook 2016. London: College Publications, 2017 - (Arazim, P.; Lávička, T.), s. 223-238. ISBN 978-1-84890-243-5.
[Logica 2016. Hejnice (CZ), 20.06.2016-24.06.2016]
R&D Projects: GA ČR(CZ) GC16-07954J
Institutional support: RVO:67985955
Keywords : inquisitive semantics * logic of questions * substructural logics
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0275513 - 7.0477548 - FLÚ 2018 RIV PL eng J - Journal Article
Peliš, Michal
Erotetic epistemic logic.
Logic and Logical Philosophy. Roč. 26, č. 3 (2017), s. 357-381. ISSN 1425-3305
R&D Projects: GA ČR(CZ) GC16-07954J
Institutional support: RVO:67985955
Keywords : epistemic logic * erotetic implication * erotetic logic * logic of questions
OECD category: Philosophy, History and Philosophy of science and technology
http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2017.007
Permanent Link: http://hdl.handle.net/11104/0273874File Download Size Commentary Version Access 2017_J_0477548.pdf 1 696.3 KB Publisher’s postprint open-access - 8.0458527 - FLÚ 2017 RIV CZ eng B - Monography
Peliš, Michal
Inferences with ignorance: logics of questions. Inferential erotetic logic & erotetic epistemic logic.
Prague: Karolinum Press, 2016. 110 s. ISBN 978-80-246-3181-3
Institutional support: RVO:67985955
Keywords : epistemic logic * erotetic logic * logic of questions * public announcement
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0258797 - 9.0373265 - FLÚ 2012 CZ eng D - Thesis
Peliš, Michal
Logic of Questions.
Katedra logiky FF UK. Defended: Praha. 14.04.2011. - Praha: Universita Karlova, Filosofická fakulta, 2011. 100 s.
R&D Projects: GA ČR(CZ) GAP401/10/1504; GA ČR(CZ) GEICC/08/E018; GA AV ČR(CZ) IAA900090703; GA ČR(CZ) GA401/03/0022
Institutional research plan: CEZ:AV0Z90090514
Keywords : logic of questions * erotetic logic * epistemic logic * public announcement * dynamic logic
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0206391 - 10.0369521 - FLÚ 2012 RIV DE eng C - Conference Paper (international conference)
Peliš, Michal - Majer, Ondrej
Logic of Questions and Public Announcements.
Logic, Language, and Computation. Berlin: Springer, 2011 - (Bezhanishvili, N.; Löbner, S.; Schwabe, K.; Spada, L.), s. 145-157. Lecture Notes in Artificial Intelligence, 6618. ISBN 978-3-642-22302-0. ISSN 0302-9743.
[TbiLLC 2009. International Tbilisi Symposium on Logic, Language, and Computation /8./. Bakuriani (GE), 21.09.2009-25.09.2009]
R&D Projects: GA ČR(CZ) GEICC/08/E018; GA AV ČR(CZ) IAA900090703; GA ČR(CZ) GAP401/10/1504
Institutional research plan: CEZ:AV0Z9009908
Keywords : logic of questions * erotetic logic * epistemic logic * public announcement
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0203564