Výsledky vyhledávání
- 1.0575743 - FLÚ 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Ferguson, Thomas - Punčochář, Vít
Structural Completeness and Superintuitionistic Inquisitive Logics.
Logic, Language, Information, and Computation. Cham: Springer, 2023 - (Hansen, H.; Scedrov, A.; de Queiroz, R.), s. 194-210. Lecture Notes in Computer Science, 13923. ISBN 978-3-031-39783-7.
[WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./. Halifax (CA), 11.07.2023-14.07.2023]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: structural completeness * inquisitive logic * superintuitionistic logics * substitution
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-031-39784-4_12
Trvalý link: https://hdl.handle.net/11104/0346056 - 2.0572522 - FLÚ 2024 RIV GB eng J - Článek v odborném periodiku
Punčochář, Vít - Sedlár, Igor - Tedder, A.
Relevant epistemic logic with public announcements and common knowledge.
Journal of Logic and Computation. Roč. 33, č. 2 (2023), s. 436-461. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955 ; RVO:67985807
Klíčová slova: relevant logic * epistemic logic * public announcement * common knowledge * inquisitive logic
Obor OECD: Philosophy, History and Philosophy of science and technology; Pure mathematics (UIVT-O)
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1093/logcom/exac100
Trvalý link: https://hdl.handle.net/11104/0343465 - 3.0547235 - ÚI 2022 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít - Sedlár, Igor
Relevant Epistemic Logic with Public Announcements and Common Knowledge.
Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings. Cham: Springer, 2021 - (Baroni, P.; Benzmüller, C.; Wáng, Y.), s. 342-361. Lecture Notes in Artificial Intelligence, 13040. ISBN 978-3-030-89390-3.
[CLAR 2021: International Conference on Logic and Argumentation /4./. online (CN), 20.10.2021-22.10.2021]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Dynamic epistemic logic * Epistemic logic * Inquisitive logic * Public announcement logic * Relevant logic
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0323522 - 4.0546145 - FLÚ 2022 RIV NL eng J - Článek v odborném periodiku
Punčochář, Vít
Inquisitive Heyting Algebras.
Studia Logica. Roč. 109, č. 5 (2021), s. 995-1017. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR(CZ) GA20-18675S
Institucionální podpora: RVO:67985955
Klíčová slova: Logic of questions * Inquisitive logic * Intuitionistic logic * Superintuitionistic logics * Heyting algebras * Algebraic semantics * Antichains
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.833, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s11225-020-09936-9
Trvalý link: http://hdl.handle.net/11104/0322696 - 5.0542814 - ÚI 2022 RIV GB eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: epistemic logic * modal logic * substructural logic * inquisitive logic * logic of questions
Obor OECD: Pure mathematics
Impakt faktor: 0.509, rok: 2021
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1093/logcom/exab008
Trvalý link: http://hdl.handle.net/11104/0320152 - 6.0538225 - ÚI 2021 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít
Inquisitive Dynamic Epistemic Logic in a Non-classical Setting.
Dynamic Logic: New Trends and Applications. Cham: Springer, 2020 - (Martins, M.; Sedlár, I.), s. 205-221. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743.
[DaLí International Workshop /3./. Prague / Online (CZ), 09.10.2020-10.10.2020]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Dynamic logic * Epistemic logic * Inquisitive logic * Substructural logic * Public announcement * Reduction axioms
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0316050 - 7.0534283 - FLÚ 2021 RIV NL eng J - Článek v odborném periodiku
Punčochář, Vít
A relevant logic of questions.
Journal of Philosophical Logic. Roč. 49, č. 5 (2020), s. 905-939. ISSN 0022-3611
Grant CEP: GA ČR(CZ) GA17-15645S
Institucionální podpora: RVO:67985955
Klíčová slova: Inquisitive logic * Relevant logic * The logic R * Routley-Meyer semantics * Relevance * Questions
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s10992-019-09541-9
Trvalý link: http://hdl.handle.net/11104/0312505 - 8.0460804 - FLÚ 2017 RIV NL eng J - Článek v odborném periodiku
Punčochář, Vít
A Generalization of Inquisitive Semantics.
Journal of Philosophical Logic. Roč. 45, č. 4 (2016), s. 399-428. ISSN 0022-3611
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: Intuitionistic logic * Superintuitionistic logics * Inquisitive logic * Topological semantics * Kripke semantics * Disjunction
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0260798