Search results
- 1.0575751 - FLÚ 2024 RIV PL eng J - Journal Article
Punčochář, Vít
Logical Forms, Substitutions and Information Types.
Logic and Logical Philosophy. Roč. 32, č. 3 (2023), s. 459-473. ISSN 1425-3305
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : logical form * uniform substitution * information types * non-classical logics
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.5, year: 2022
Method of publishing: Open access
https://doi.org/10.12775/LLP.2023.017
Permanent Link: https://hdl.handle.net/11104/0345772 - 2.0572522 - FLÚ 2024 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955 ; RVO:67985807
Keywords : relevant logic * epistemic logic * public announcement * common knowledge * inquisitive logic
OECD category: Philosophy, History and Philosophy of science and technology; Pure mathematics (UIVT-O)
Impact factor: 0.7, year: 2022
Method of publishing: Limited access
https://doi.org/10.1093/logcom/exac100
Permanent Link: https://hdl.handle.net/11104/0343465 - 3.0562184 - FLÚ 2023 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : dependence logic * team semantics * information * contexts * conditionals * modalities
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.8, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2022.103156
Permanent Link: https://hdl.handle.net/11104/0334713 - 4.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 - 5.0543227 - FLÚ 2022 RIV CZ cze J - Journal Article
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
Institutional support: RVO:67985955
Keywords : free will * Petr Dvořák * randomness * control * moral responsibility
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Open access
https://doi.org/10.26806/fd.v13i1.325
Permanent Link: http://hdl.handle.net/11104/0322202File Download Size Commentary Version Access 2021_J_0543227.pdf 0 614.3 KB Publisher’s postprint open-access - 6.0534288 - FLÚ 2021 CZ cze J - Journal Article
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
Institutional support: RVO:67985955
Keywords : interview * logic
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Open access
Permanent Link: http://hdl.handle.net/11104/0312513File Download Size Commentary Version Access 2020_J_0534288.pdf 2 130.5 KB Publisher’s postprint open-access - 7.0534286 - FLÚ 2021 RIV SE eng J - Journal Article
Punčochář, Vít - Gauker, Ch.
Indicative Conditionals in Objective Contexts.
Theoria. Roč. 86, č. 5 (2020), s. 651-687. ISSN 1755-2567
R&D Projects: GA ČR(CZ) GA20-18675S
Institutional support: RVO:67985955
Keywords : indicative conditionals * objective contexts * natural deduction * assertibility
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Limited access
https://doi.org/10.1111/theo.12277
Permanent Link: http://hdl.handle.net/11104/0312511 - 8.0534283 - FLÚ 2021 RIV NL eng J - Journal Article
Punčochář, Vít
A relevant logic of questions.
Journal of Philosophical Logic. Roč. 49, č. 5 (2020), s. 905-939. ISSN 0022-3611
R&D Projects: GA ČR(CZ) GA17-15645S
Institutional support: RVO:67985955
Keywords : Inquisitive logic * Relevant logic * The logic R * Routley-Meyer semantics * Relevance * Questions
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Limited access
https://doi.org/10.1007/s10992-019-09541-9
Permanent Link: http://hdl.handle.net/11104/0312505 - 9.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 - 10.0476819 - FLÚ 2018 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GC16-07954J
Institutional support: RVO:67985955
Keywords : information states * relational semantics * algebraic semantics * intuitionistic logic * inquisitive disjunction
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.740, year: 2017
Permanent Link: http://hdl.handle.net/11104/0273322