Help

Punčochář Vít

ASEP Publications

RIV ID 3945731
Select all / Display all years / Unmark

Select all / Display all / Unmark

Records found: 8

0479305 - FLÚ 2018 RIV GB eng C - Proceedings Paper (International conf.)
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
Subject RIV: AA - Philosophy & Religion
Obor OECD: Philosophy, History and Philosophy of science and technology
Permanent link: http://hdl.handle.net/11104/0275513

0460804 - FLÚ 2017 RIV NL eng J - Journal Article
Punčochář, Vít
A Generalization of Inquisitive Semantics.
Journal of Philosophical Logic. Roč. 45, č. 4 (2016), s. 399-428. ISSN 0022-3611
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional Support: RVO:67985955
Keywords: Intuitionistic logic * Superintuitionistic logics * Inquisitive logic * Topological semantics * Kripke semantics * Disjunction
Subject RIV: AA - Philosophy & Religion
Permanent link: http://hdl.handle.net/11104/0260798

Citation, Review▾
Citation:
CIARDELLI, Ivano; IEMHOFF, Rosalie; YANG, Fan. Questions and Dependency in Intuitionistic Logic. Notre Dame Journal of Formal Logic. 2020, 61(1), 75-115. https://doi.org/10.1215/00294527-2019-0033 [EVALUATION]
CIARDELLI, Ivano. Questions as Information Types. Synthese. 2018, 195(1), 321-365. https://doi.org/10.1007/s11229-016-1221-y [EVALUATION]
CIARDELLI, Ivano; GROENENDIJK, J.A.G.; ROELOFSEN, Floris. Inquisitive Semantics. Oxford: Oxford University Press, 2019, p. 211-212 [EVALUATION]

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
R&D Projects: GA ČR(CZ) GC16-07954J
Institutional Support: RVO:67985955
Keywords: information states * relational semantics * algebraic semantics * intuitionistic logic * inquisitive disjunction
Subject RIV: AA - Philosophy & Religion
Obor OECD: Philosophy, History and Philosophy of science and technology
Impact factor: 0.740, year: 2017
Permanent link: http://hdl.handle.net/11104/0273322

Citation, Review▾
Citation:
CIARDELLI, Ivano; IEMHOFF, Rosalie; YANG, Fan. Questions and Dependency in Intuitionistic Logic. Notre Dame Journal of Formal Logic. 2020, 61(1), 75-115. https://doi.org/10.1215/00294527-2019-0033 [EVALUATION]
CIARDELLI, Ivano; GROENENDIJK, J.A.G.; ROELOFSEN, Floris. Inquisitive Semantics. Oxford: Oxford University Press, 2019, p. 39, 211-212 [EVALUATION]

0438366 - FLÚ 2015 RIV SK cze J - Journal Article
Punčochář, Vít
Indikativní a subjunktivní hypotetické soudy. Epistemický vs. ontický přístup.
[Indicative and Subjunctive Conditionals. Epistemic vs. Ontic Approach.]
Organon F. Roč. 21, Supplementary Issue 1 (2014), s. 119-137. ISSN 1335-0668
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional Support: RVO:67985955
Keywords: indicative conditionals * logic * pragmatics * semantics * subjunctive conditionals
Subject RIV: AA - Philosophy & Religion
Permanent link: http://hdl.handle.net/11104/0241790

0436789 - FLÚ 2015 RIV GB eng C - Proceedings Paper (International conf.)
Punčochář, Vít
Intensionalisation of Logical Operators.
The logica yearbook 2013. London: College Publications, 2014 - (Dančák, M.; Punčochář, V.), s. 173-185. ISBN 978-1-84890-144-5.
[Logica 2013. Hejnice (CZ), 17.06.2013-21.06.2013]
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional Support: RVO:67985955
Keywords: semantics * assertibility * intensionality * logical operators * natural deduction
Subject RIV: AA - Philosophy & Religion
Permanent link: http://hdl.handle.net/11104/0240453

0477325 - FLÚ 2018 RIV DE eng C - Proceedings Paper (International conf.)
Punčochář, Vít
Knowledge is a Diamond.
Logic, Language, Information, and Computation. Berlin: Springer, 2017 - (Kennedy, J.; de Queiroz, R.), s. 304-320. Lecture Notes in Computer Science, 10388. ISBN 978-3-662-55385-5. ISSN 0302-9743.
[International Workshop, WoLLIC 2017 /24./. London (GB), 18.07.2017-21.07.2017]
R&D Projects: GA ČR(CZ) GC16-07954J
Institutional Support: RVO:67985955
Keywords: epistemic logic * substructural logic * knowledge
Subject RIV: AA - Philosophy & Religion
Obor OECD: Philosophy, History and Philosophy of science and technology
Permanent link: http://hdl.handle.net/11104/0273700

0447718 - FLÚ 2016 RIV NL eng J - Journal Article
Punčochář, Vít
Weak negation in inquisitive semantics.
Journal of Logic, Language, and Information. Roč. 24, č. 3 (2015), s. 323-355. ISSN 0925-8531
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional Support: RVO:67985955
Keywords: inquisitive semantics * negation * possible worlds * Fitch-style natural deduction * denial
Subject RIV: AA - Philosophy & Religion
Impact factor: 0.450, year: 2015
http://link.springer.com/article/10.1007%2Fs10849-015-9219-2
Permanent link: http://hdl.handle.net/11104/0249484

Citation, Review▾
Citation:
CIARDELLI, Ivano; IEMHOFF, Rosalie; YANG, Fan. Questions and Dependency in Intuitionistic Logic. Notre Dame Journal of Formal Logic. 2020, 61(1), 75-115. https://doi.org/10.1215/00294527-2019-0033 [EVALUATION]
HUMBERSTONE, Lloyd. Supervenience, Dependence, Disjunction. Logic and Logical Philosophy. 2019, 28(1), 3-135. http://cejsh.icm.edu.pl/cejsh/element/bwmeta1.element.desklight-8cfc3cc5-6dda-47db-ab23-74525558e597 [EVALUATION]
BÍLKOVÁ, Marta; COLACITO, Almudena. Proof Theory for Positive Logic with Weak Negation. Studia Logica. First Online. 24 July 2019. https://doi.org/10.1007/s11225-019-09869-y [EVALUATION]
CIARDELLI, Ivano; GROENENDIJK, J.A.G.; ROELOFSEN, Floris. Inquisitive Semantics. Oxford: Oxford University Press, 2019, p. 40, 211-212 [EVALUATION]

0478934 - FLÚ 2018 RIV DE eng C - Proceedings Paper (International conf.)
Sedlár, Igor - Punčochář, Vít
Substructural logics for pooling information.
Logic, Rationality, and Interaction. Berlin: Springer, 2017 - (Baltag, A.; Yamada, T.; Seligman, J.), s. 407-421. Lecture Notes in Computer Science, 10455. ISBN 978-3-662-55664-1. ISSN 0302-9743.
[LORI 2017. International Workshop on Logic, Rationality, and Interaction /6./. Sapporo (JP), 11.09.2017-14.09.2017]
R&D Projects: GA ČR(CZ) GC16-07954J
Institutional Support: RVO:67985955
Keywords: distributed knowledge * information pooling * substrucural logics
Subject RIV: AA - Philosophy & Religion
Obor OECD: Philosophy, History and Philosophy of science and technology
Permanent link: http://hdl.handle.net/11104/0275400