Výsledky vyhledávání
- 1.0505202 - FLÚ 2020 RIV GB eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985955
Klíčová slova: inquisitive semantics * logic of questions * substructural logic * classical logic * intuitionistic logic * fuzzy logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.750, rok: 2019
Způsob publikování: Omezený přístup
https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/substructural-inquisitive-logics/81285524FFC11723B452B2D8434FEF79
Trvalý link: http://hdl.handle.net/11104/0296698 - 2.0492857 - FLÚ 2019 RIV PL eng J - Článek v odborném periodiku
Lupkowski, P. - Majer, Ondrej - Peliš, M. - Urbanski, M.
Epistemic Erotetic Search Scenarios.
Logic and Logical Philosophy. Roč. 27, č. 3 (2018), s. 301-328. ISSN 1425-3305
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985955
Klíčová slova: questions * Inferential Erotetic Logic (IEL) * Dynamic Epistemic Logic (DEL) * e-scenarios * agenda * questions * logic
Obor OECD: Philosophy, History and Philosophy of science and technology
http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2018.010
Trvalý link: http://hdl.handle.net/11104/0286317 - 3.0483809 - ÚI 2023 RIV DE eng J - Článek v odborném periodiku
Bílková, Marta - Dostál, M.
Moss' Logic for Ordered Coalgebras.
Logical Methods in Computer Science. Roč. 18, č. 3 (2022), 18:1-18:61. ISSN 1860-5974. E-ISSN 1860-5974
Grant CEP: GA ČR(CZ) GC16-07954J
Grant ostatní: GA ČR(CZ) GPP202/11/P304
Institucionální podpora: RVO:67985807
Klíčová slova: coalgebraic logic * cover modality * relation lifting * ordered coalgebras * similarity * Hennessy-Milner property
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Open access
https://dx.doi.org/10.46298/lmcs-18(3:18)2022
Trvalý link: http://hdl.handle.net/11104/0278984Název souboru Staženo Velikost Komentář Verze Přístup 0483809-afin.pdf 7 711.7 KB OA CC BY 4.0 Vydavatelský postprint povolen 483809-prearx.pdf 2 475.3 KB arXiv.org Autorský preprint povolen - 4.0477548 - FLÚ 2018 RIV PL eng J - Článek v odborném periodiku
Peliš, Michal
Erotetic epistemic logic.
Logic and Logical Philosophy. Roč. 26, č. 3 (2017), s. 357-381. ISSN 1425-3305
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985955
Klíčová slova: epistemic logic * erotetic implication * erotetic logic * logic of questions
Obor OECD: Philosophy, History and Philosophy of science and technology
http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2017.007
Trvalý link: http://hdl.handle.net/11104/0273874Název souboru Staženo Velikost Komentář Verze Přístup 2017_J_0477548.pdf 1 696.3 KB Vydavatelský postprint povolen - 5.0476819 - FLÚ 2018 RIV GB eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985955
Klíčová slova: information states * relational semantics * algebraic semantics * intuitionistic logic * inquisitive disjunction
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.740, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0273322