Ústav informatiky AV ČR, v. v. i.

Výsledky projektu GJ18-19162Y

Nalezeno záznamů: 4

0508255 - ÚI 2020 CH eng A - Abstrakt
Punčochář, Vít - Sedlár, Igor
From the positive fragment of PDL to its non-classical extensions.
AiML 2018: Accepted Short Papers. Bern: Universität Bern, 2018. s. 100-104.
[AiML 2018: Advances in Modal Logic /12./. 27.08.2019-31.08.2019, Bern]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Lambek calculus * dynamic logic * First Degree Entailment * paraconsistent logic * Propositional Dynamic Logic * substructural logics
http://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0299216

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
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Sedlár, Igor
Trvalý odkaz: http://hdl.handle.net/11104/0301697

0505123 - ÚI 2020 RIV GB eng J - Článek v odborném periodiku
Sedlár, Igor - Punčochář, Vít
From positive PDL to its non-classical extensions.
Logic Journal of the IGPL. Roč. 27, č. 4 (2019), s. 522-542. ISSN 1367-0751
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Lambek calculus * modal logic * paraconsistent logic * positive modal logic * propositional dynamic logic * substructural logic
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Impakt faktor: 0.609, rok: 2018
Trvalý odkaz: http://hdl.handle.net/11104/0296635

0522406 - ÚI 2021 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor
Iterative Division in the Distributive Full Non-associative Lambek Calculus.
Dynamic Logic. New Trends and Applications. Cham: Springer, 2020 - (Soares Barbosa, L.; Baltag, A.), s. 141-154. Lecture Notes in Computer Science, 12005. ISBN 978-3-030-38807-2. ISSN 0302-9743.
[DALI 2019: International Workshop on Dynamic Logic /2./. Porto (PT), 07.10.2019-11.10.2019]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Distributive Full Non-associative Lambek Calculus * Dynamic logic * Iterated composition * Lambek Calculus * Transitive closure
Trvalý odkaz: http://hdl.handle.net/11104/0306908