Výsledky vyhledávání
- 1.0579059 - FLÚ 2024 eng U - Uspořádání akce
Majer, Ondrej
CELIA workshop.
[Prague, 05.10.2023-07.10.2023, (W-EUR 18/12)]
Grant CEP: GA ČR(CZ) GF22-23022L
Institucionální podpora: RVO:67985955
Klíčová slova: epistemic logic * common knowledge * distributive knowledge * colaition logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: https://hdl.handle.net/11104/0347964 - 2.0579034 - FLÚ 2024 RIV DE eng J - Článek v odborném periodiku
Ferguson, Thomas
Subject-Matter and Intensional Operators II. Applications to the Theory of Topic-Sensitive Intentional Modals.
Journal of Philosophical Logic. Roč. 52, č. 6 (2023), s. 1673-1701. ISSN 0022-3611
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: subject-matter * topic-sensitive intentional modals * epistemic logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.5, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s10992-023-09722-7
Trvalý link: https://hdl.handle.net/11104/0348048 - 3.0573769 - ÚI 2024 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Sedlár, Igor
Epistemic Logics of Structured Intensional Groups.
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023). Oxford: Open Publishing Association, 2023 - (Verbrugge, R.), s. 113-130. Electronic Proceedings in Theoretical Computer Science, 379. ISSN 2075-2180.
[TARK 2023: Theoretical Aspects of Rationality and Knowledge /19./. Oxford (GB), 28.06.2023-30.06.2023]
Grant CEP: GA ČR(CZ) GF22-23022L
Institucionální podpora: RVO:67985807
Klíčová slova: epistemic logic * group knowledge * common knowledge * relational semantics * neighbourhood semantics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?TARK2023.11.pdf
Trvalý link: https://hdl.handle.net/11104/0344132Název souboru Staženo Velikost Komentář Verze Přístup 0573769-aoa.pdf 6 255.2 KB OA CC BY Vydavatelský postprint povolen
Vědecká data: ArXiv.org - 4.0573722 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor - Vigiani, P.
Relevant Reasoning and Implicit Beliefs.
Logic, Language, Information, and Computation. Cham: Springer, 2023 - (Hansen, H.; Scedrov, A.; de Queiroz, R.), s. 336-350. 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) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Epistemic logic * explicit belief * implicit belief * knowledge representation * modal logic * relevant logic
Obor OECD: Pure mathematics
Trvalý link: https://hdl.handle.net/11104/0344103Název souboru Staženo Velikost Komentář Verze Přístup 0573722-acc.pdf 3 365.9 KB volně online Autorský postprint povolen
Vědecká data: Preprint at MathStat.dal.ca - 5.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 - 6.0572117 - ÚI 2025 GB eng J - Článek v odborném periodiku
Ferenz, Nicholas
First-Order Relevant Reasoners in Classical Worlds.
Review of Symbolic Logic. Online 21 March 2023 (2024), č. článku PII S1755020323000096. ISSN 1755-0203. E-ISSN 1755-0211
Institucionální podpora: RVO:67985807
Klíčová slova: relevant logic * epistemic logic * non-Tarskian quantifiers * first-order epistemic logic
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
Trvalý link: https://hdl.handle.net/11104/0342944 - 7.0566801 - ÚI 2024 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor - Vigiani, P.
Relevant Reasoners in a Classical World.
Advances in Modal Logic. Volume 14. London: College Publications, 2022 - (Fernández-Duque, D.; Palmigiano, A.; Pinchinat, S.), s. 697-717, č. článku 196432. ISBN 978-1-84890-413-2.
[AIML 2022: Advances in Modal Logic. Rennes (FR), 22.08.2022-25.08.2022]
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: epistemic logic * logical omniscience * non-normal worlds * relevant logic
Obor OECD: Pure mathematics
https://www.collegepublications.co.uk/aiml/?00011
Trvalý link: https://hdl.handle.net/11104/0338087Název souboru Staženo Velikost Komentář Verze Přístup 0566801-apre-arxiv.pdf 1 293.3 KB https://arxiv.org/abs/2206.03109v1 Autorský preprint povolen - 8.0563533 - FLÚ 2023 RIV US cze J - Článek v odborném periodiku
Hanke, Miroslav
Scholastická logika „vědění ” III. Logická vševědoucnost a logika inferenčního poznání.
[Scholastic Logic of „Knowledge” III. Logical omniscience and the logic of inferential knowledge.]
Studia Neoaristotelica. Roč. 18, č. 3 (2021), s. 3-107. ISSN 1214-8407. E-ISSN 1804-6843
Grant CEP: GA ČR(CZ) GB14-37038G
Institucionální podpora: RVO:67985955
Klíčová slova: scholastic logic * logical omniscience * semantic paradoxes * epistemic logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Open access
https://doi.org/10.5840/studneoar202118310
Trvalý link: https://hdl.handle.net/11104/0335737 - 9.0559683 - FLÚ 2023 RIV IT eng J - Článek v odborném periodiku
Hanke, Miroslav
Epistemic Sophisms, Calculatores and John Mair’s Circle.
Noctua. Roč. 9, č. 3 (2022), s. 89-133. E-ISSN 2284-1180
Grant CEP: GA ČR(CZ) GA20-05855S
Institucionální podpora: RVO:67985955
Klíčová slova: epistemic logic * epistemic modalities * John Mair’s circle * Oxford calculators * scholastic logic * sophisms
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Open access
https://doi.org/10.14640/NoctuaIX13
Trvalý link: https://hdl.handle.net/11104/0332895 - 10.0549174 - FLÚ 2022 RIV DK eng J - Článek v odborném periodiku
Hanke, Miroslav
The Casus Obligationis Attributed to William Heytesbury.
Cahiers de l’Institut du Moyen-Âge Grec et Latin. -, č. 90 (2021), s. 226-264. ISSN 0591-0358. E-ISSN 1904-9196
Grant CEP: GA ČR(CZ) GB14-37038G
Institucionální podpora: RVO:67985955
Klíčová slova: sophisms * epistemic logic * William Heytesbury
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Open access
https://cimagl.saxo.ku.dk/download/no.-90/90hanke226-264.pdf
Trvalý link: http://hdl.handle.net/11104/0325184