Výsledky vyhledávání
- 1.0575751 - FLÚ 2024 RIV PL eng J - Článek v odborném periodiku
Punčochář, Vít
Logical Forms, Substitutions and Information Types.
Logic and Logical Philosophy. Roč. 32, č. 3 (2023), s. 459-473. ISSN 1425-3305
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: logical form * uniform substitution * information types * non-classical logics
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.5, rok: 2022
Způsob publikování: Open access
https://doi.org/10.12775/LLP.2023.017
Trvalý link: https://hdl.handle.net/11104/0345772 - 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.0562184 - FLÚ 2023 RIV NL eng J - Článek v odborném periodiku
Punčochář, Vít
Iterated team semantics for a hierarchy of informational types.
Annals of Pure and Applied Logic. Roč. 173, č. 10 (2022), č. článku 103156. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: dependence logic * team semantics * information * contexts * conditionals * modalities
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.8, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2022.103156
Trvalý link: https://hdl.handle.net/11104/0334713 - 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.0543227 - FLÚ 2022 RIV CZ cze J - Článek v odborném periodiku
Punčochář, Vít
Jak je možná svobodná volba v deterministickém světě.
[How it is possible to have free choice in a deterministic world.]
Filosofie dnes. Roč. 13, č. 1 (2021), s. 71-88. ISSN 1804-0969
Institucionální podpora: RVO:67985955
Klíčová slova: free will * Petr Dvořák * randomness * control * moral responsibility
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Open access
https://doi.org/10.26806/fd.v13i1.325
Trvalý link: http://hdl.handle.net/11104/0322202Název souboru Staženo Velikost Komentář Verze Přístup 2021_J_0543227.pdf 0 614.3 KB Vydavatelský postprint povolen - 6.0534288 - FLÚ 2021 CZ cze J - Článek v odborném periodiku
Svoboda, Vladimír - Materna, Pavel - Punčochář, Vít
O logice s Pavlem Maternou a Vladimírem Svobodou [rozhovor].
[About logic with Pavel Materna and Vladimír Svoboda [interview].]
Filosofický časopis. Roč. 68, č. 5 (2020), s. 765-774. ISSN 0015-1831
Institucionální podpora: RVO:67985955
Klíčová slova: interview * logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Open access
Trvalý link: http://hdl.handle.net/11104/0312513Název souboru Staženo Velikost Komentář Verze Přístup 2020_J_0534288.pdf 2 130.5 KB Vydavatelský postprint povolen - 7.0534286 - FLÚ 2021 RIV SE eng J - Článek v odborném periodiku
Punčochář, Vít - Gauker, Ch.
Indicative Conditionals in Objective Contexts.
Theoria. Roč. 86, č. 5 (2020), s. 651-687. ISSN 1755-2567
Grant CEP: GA ČR(CZ) GA20-18675S
Institucionální podpora: RVO:67985955
Klíčová slova: indicative conditionals * objective contexts * natural deduction * assertibility
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://doi.org/10.1111/theo.12277
Trvalý link: http://hdl.handle.net/11104/0312511 - 8.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 - 9.0505202 - FLÚ 2020 RIV GB eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985955
Klíčová slova: inquisitive semantics * logic of questions * substructural logic * classical logic * intuitionistic logic * fuzzy logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.750, rok: 2019
Způsob publikování: Omezený přístup
https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/substructural-inquisitive-logics/81285524FFC11723B452B2D8434FEF79
Trvalý link: http://hdl.handle.net/11104/0296698 - 10.0476819 - FLÚ 2018 RIV GB eng J - Článek v odborném periodiku
Punčochář, Vít
Algebras of Information States.
Journal of Logic and Computation. Roč. 27, č. 5 (2017), s. 1643-1675. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985955
Klíčová slova: information states * relational semantics * algebraic semantics * intuitionistic logic * inquisitive disjunction
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.740, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0273322