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.0575737 - FLÚ 2024 RIV GR eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: fuzzy logic * logic of questions * inquisitive semantics * information states
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.24963/kr.2023/56
Trvalý link: https://hdl.handle.net/11104/0346057 - 3.0559695 - FLÚ 2023 RIV AU eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít - Grimau, Berta
Natural Deduction for Assertibility and Deniability.
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022. online: Open Publishing Association, 2022 - (Indrzejczak, A.; Zawidzki, M.), s. 41-54. Electronic Proceedings in Theoretical Computer Science (EPTCS), 358. E-ISSN 2075-2180.
[Non-Classical Logics. Theory and Applications (NCL) /10./. Łódź (PL), 14.03.2022-18.03.2022]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: semantics * natural deduction * assertibility * deniability * possible worlds
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.4204/EPTCS.358.4
Trvalý link: https://hdl.handle.net/11104/0334055 - 4.0559694 - FLÚ 2023 RIV AU eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít - Sedlár, Igor
Routley Star in Information-Based Semantics.
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022. online: Open Publishing Association, 2022 - (Indrzejczak, A.; Zawidzki, M.), s. 285-297. Electronic Proceedings in Theoretical Computer Science (EPTCS), 358. E-ISSN 2075-2180.
[Non-Classical Logics. Theory and Applications (NCL) /10./. Łódź (PL), 14.03.2022-18.03.2022]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: deductive systems * information states * non-classical logics * Routley star * negation
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.4204/EPTCS.358.21
Trvalý link: https://hdl.handle.net/11104/0334056 - 5.0547117 - FLÚ 2022 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít - Tedder, Andrew
Disjunction and Negation in Information Based Semantics.
Logic, Language, Information, and Computation. Cham: Springer, 2021 - (Silva, A.; Wassermann, R.; de Queiroz, R.), s. 355-371. Lecture Notes in Computer Science, 13038. ISBN 978-3-030-88852-7; ISBN 978-3-030-88853-4.
[WoLLIC 2021. Workshop on Logic, Language, Information, and Computation /27./. online (NL), 05.10.2021-08.10.2021]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: Non-classical logics * Incompatibility * Information * Relational semantics * Negation * Disjunction
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-88853-4_22
Trvalý link: http://hdl.handle.net/11104/0323448 - 6.0534292 - FLÚ 2021 FI eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít
A hierarchy of dependencies.
Proceedings of Workshop on Logics of Dependence and Independence (LoDE 2020V). Helsinki: University of Helsinki, Department of Mathematics and Statistics, 2020 - (Väänänen, J.; Yang, F.), s. 32-36. Acta generalia instituti mathematico-rationarii.
[Workshop on Logics of Dependence and Independence (LoDE 2020V). Online, 10.08.2020-12.08.2020)]
Grant CEP: GA ČR(CZ) GA20-18675S
Institucionální podpora: RVO:67985955
Klíčová slova: dependence logic * contexts * non-classical logics * conditionals
Obor OECD: Philosophy, History and Philosophy of science and technology
http://hdl.handle.net/10138/317202
Trvalý link: http://hdl.handle.net/11104/0312516 - 7.0479305 - FLÚ 2018 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985955
Klíčová slova: inquisitive semantics * logic of questions * substructural logics
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0275513 - 8.0478934 - FLÚ 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985955
Klíčová slova: distributed knowledge * information pooling * substrucural logics
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0275400 - 9.0477325 - FLÚ 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985955
Klíčová slova: epistemic logic * substructural logic * knowledge
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0273700 - 10.0436789 - FLÚ 2015 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: semantics * assertibility * intensionality * logical operators * natural deduction
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0240453