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.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 - 3.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 - 4.0547636 - ÚI 2022 RIV AU eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Christoff, Z. - Roy, O.
Revisiting Epistemic Logic with Names.
Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge. Waterloo: Open Publishing Association, 2021 - (Halpern, J.; Perea, A.), s. 39-54. Electronic Proceedings in Theoretical Computer Science, 335. ISSN 2075-2180.
[TARK 2021: Theoretical Aspects of Rationality and Knowledge /18./. Beijing (CN), 25.06.2021-27.06.2021]
Institucionální podpora: RVO:67985807
Klíčová slova: epistemic logic * multi-agent epistemic logic * common knowledge * distributed knowledge * neighbourhood semantics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2021.4
Trvalý link: http://hdl.handle.net/11104/0323830Název souboru Staženo Velikost Komentář Verze Přístup 0547636-afin.pdf 1 215.8 KB OA Vydavatelský postprint povolen - 5.0524653 - NHÚ 2021 RIV US eng J - Článek v odborném periodiku
García-Pola, B. - Iriberri, N. - Kovářík, Jaromír
Non-equilibrium play in centipede games.
Games and Economic Behavior. Roč. 120, March (2020), s. 391-433. ISSN 0899-8256. E-ISSN 1090-2473
Grant CEP: GA ČR(CZ) GA17-25222S
Institucionální podpora: RVO:67985998
Klíčová slova: centipede games * bounded rationality * common knowledge of rationality
Obor OECD: Applied Economics, Econometrics
Impakt faktor: 1.287, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.geb.2020.01.007
Trvalý link: http://hdl.handle.net/11104/0308992 - 6.0517596 - ÚJČ 2020 RIV CZ cze B - Monografie kniha jako celek
Beneš, Martin
Úvod do teorie jazykové správnosti.
[Introduction to the Theory of Language Correctness.]
Praha: Univerzita Karlova, Filozofická fakulta, 2019. 217 s. Humanitas. ISBN 978-80-7308-910-8
Institucionální podpora: RVO:68378092
Klíčová slova: codification * common knowledge * intersubjectivity * language correctness * language rules * norm * usage
Obor OECD: Linguistics
Trvalý link: http://hdl.handle.net/11104/0303571 - 7.0511426 - ÚI 2020 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor - Punčochář, Vít - Tedder, Andrew
First Degree Entailment with Group Attitudes and Information Updates.
Logic, Rationality, and Interaction. Berlin: Springer, 2019 - (Blackburn, P.; Lorini, E.; Guo, M.), s. 273-285. Lecture Notes in Computer Science, 11813. ISBN 978-3-662-60291-1. ISSN 0302-9743.
[LORI 2019. International Workshop on Logic, Rationality, and Interaction /7./. Chongqing (CN), 18.10.2019-21.10.2019]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Common knowledge * Epistemic logic * First Degree Entailment * Information update * Lambek Calculus
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0301697 - 8.0497239 - NHÚ 2019 RIV GB eng V - Výzkumná zpráva
García-Pola, B. - Iriberri, N. - Kovářík, Jaromír
Non-equilibrium play in centipede games.
London: Centre for Economic Policy Research, 2016. 56 s. CEPR discussion paper series, 11477. ISSN 0265-8003
Grant CEP: GA ČR(CZ) GA14-22044S
Institucionální podpora: RVO:67985998
Klíčová slova: centipede games * bounded rationality * common knowledge of rationality
Obor OECD: Economic Theory
Trvalý link: http://hdl.handle.net/11104/0289813 - 9.0483348 - ÚJČ 2018 CZ cze A - Abstrakt
Beneš, Martin
Zdroje a kritéria stylových charakteristik jazykových prostředků a jak je zjistit.
[Sources and criteria of the stylistic appropriateness and how to determine it.]
Akademický slovník současné češtiny a software pro jeho tvorbu aneb Slovníky a jejich uživatelé v 21. století: Sborník abstraktů z workshopu. Praha: Ústav pro jazyk český AV ČR, 2016 - (Lišková, M.; Vodrážková, V.; Děngeová, Z.). s. 22-23. ISBN 978-80-88211-02-0.
[Akademický slovník současné češtiny a software pro jeho tvorbu aneb Slovníky a jejich uživatelé v 21. století. 29.11.2016-30.11.2016, Praha]
Institucionální podpora: RVO:68378092
Klíčová slova: common knowledge * intersubjectivity * language rules * language norms * linguistic correctness * ontological „socialism“
Obor OECD: Linguistics
http://www.ujc.cas.cz/miranda2/export/sitesavcr/ujc/sys/galerie-download/Workshop.sbornik-s.1-80_red.pdf
Trvalý link: http://hdl.handle.net/11104/0281379 - 10.0473297 - ÚJČ 2017 RIV CZ cze J - Článek v odborném periodiku
Beneš, Martin
Jak a proč sociologizovat pohled na jazykovou kulturu.
[How and why to sociologize the approach to language cultivation.]
Naše řeč. Roč. 99, č. 3 (2016), s. 227-242. ISSN 0027-8203
Institucionální podpora: RVO:68378092
Klíčová slova: language cultivation * ontological socialism * intersubjectivity * common knowledge * language correctness * linguistic rule * usage * norm * codification * language change
Kód oboru RIV: AI - Jazykověda
Trvalý link: http://hdl.handle.net/11104/0270451