Výsledky vyhledávání
- 1.0571145 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor
On the Complexity of Kleene Algebra with Domain.
Relational and Algebraic Methods in Computer Science. 20th International Conference, RAMiCS 2023 Proceedings.. Cham: Springer, 2023 - (Glück, R.; Santocanale, L.; Winter, M.), s. 208-223. Lecture Notes in Computer Science, 13896. ISBN 978-3-031-28082-5.
[RAMiCS 2023: International Conference on Relational and Algebraic Methods in Computer Science /20./. Augsburg (DE), 03.04.2023-06.04.2023]
Grant CEP: GA ČR(CZ) GA22-16111S
Institucionální podpora: RVO:67985807
Klíčová slova: Complexity * Kleene algebra * Kleene algebra with domain * Propositional dynamic logic * Test algebra
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://dx.doi.org/10.1007/978-3-031-28083-2_13
Trvalý link: https://hdl.handle.net/11104/0342436 - 2.0558723 - ÚI 2023 RIV NL eng J - Článek v odborném periodiku
Tedder, Andrew - Bílková, Marta
Relevant Propositional Dynamic Logic.
Synthese. Roč. 200, č. 3 (2022), č. článku 235. ISSN 0039-7857. E-ISSN 1573-0964
Grant CEP: GA ČR(CZ) GJ18-19162Y; GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985807 ; RVO:67985955
Klíčová slova: Relevant logic * Propositional dynamic logic * Non-classical modal logics
Obor OECD: Philosophy, History and Philosophy of science and technology; Philosophy, History and Philosophy of science and technology (FLU-F)
Impakt faktor: 1.5, rok: 2022
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s11229-022-03732-9
Trvalý link: http://hdl.handle.net/11104/0332294 - 3.0553385 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor
Propositional Dynamic Logic with Quantification over Regular Computation Sequences.
Logical Foundations of Computer Science. International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings. Cham: Springer, 2022 - (Artemov, S.; Nerode, A.), s. 301-315. Lecture Notes in Computer Science, 13137. ISBN 978-3-030-93099-8. ISSN 0302-9743.
[LFCS 2022: International Symposium on Logical Foundations of Computer Science. Deerfield Beach / Virtual (US), 10.01.2022-13.01.2022]
Institucionální podpora: RVO:67985807
Klíčová slova: Finite automata * Planning * Propositional dynamic logic * Quantification
Obor OECD: Pure mathematics
http://dx.doi.org/10.1007/978-3-030-93100-1_19
Trvalý link: http://hdl.handle.net/11104/0328339 - 4.0538225 - ÚI 2021 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít
Inquisitive Dynamic Epistemic Logic in a Non-classical Setting.
Dynamic Logic: New Trends and Applications. Cham: Springer, 2020 - (Martins, M.; Sedlár, I.), s. 205-221. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743.
[DaLí International Workshop /3./. Prague / Online (CZ), 09.10.2020-10.10.2020]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Dynamic logic * Epistemic logic * Inquisitive logic * Substructural logic * Public announcement * Reduction axioms
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0316050 - 5.0537581 - ÚI 2022 RIV CH eng J - Článek v odborném periodiku
Punčochář, Vít - Sedlár, Igor
Inquisitive Propositional Dynamic Logic.
Journal of Logic, Language, and Information. Roč. 30, č. 1 (2021), s. 91-116. ISSN 0925-8531. E-ISSN 1572-9583
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Inquisitive semantics * Propositional dynamic logic * Logic of programs * Logic of questions
Obor OECD: Pure mathematics
Impakt faktor: 0.617, rok: 2021
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s10849-020-09326-3
Trvalý link: http://hdl.handle.net/11104/0315403Název souboru Staženo Velikost Komentář Verze Přístup 0537581-afin.pdf 1 460.9 KB Vydavatelský postprint povolen - 6.0537049 - ÚI 2021 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor
Finitely-valued propositional dynamic logics.
Advances in Modal Logic. London: College Publications, 2020 - (Olivetti, N.; Verbrugge, R.; Negri, S.; Sandu, G.), s. 561-579. ISBN 978-1-84890-341-8.
[AiML 2020: Conference on Advances in Modal Logic /14./. Helsinki / Online (FI), 24.08.2020-28.08.2020]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: FL-algebras * Many-valued modal logic * Propositional Dynamic Logic * Residuated lattices * Substructural logics * Weighted structures
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0314800Název souboru Staženo Velikost Komentář Verze Přístup 0537049-pre.pdf 0 262.3 KB z ArXiv.org Autorský preprint povolen - 7.0537046 - ÚI 2021 RIV CH eng G - Konferenční sborník (zahraniční konf.)
Martins, M. A. (ed.) - Sedlár, Igor (ed.)
Dynamic Logic. New Trends and Applications.
Cham: Springer, 2020. 295 s. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743.
[DaLí International Workshop /3./. Prague / Online (CZ), 09.10.2020-10.10.2020]
Institucionální podpora: RVO:67985807
Klíčová slova: architecting * architecture verification and validation * artificial intelligence * computer programming * computer science * computer systems * dynamic logic * embedded systems * epistemic logic * formal languages * formal logic * linguistics * mathematics * modal logic * model checking * multiagent system * semantics * software architecture * software design * software engineering
Obor OECD: Pure mathematics
https://link.springer.com/book/10.1007/978-3-030-65840-3
Trvalý link: http://hdl.handle.net/11104/0314799 - 8.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
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0306908 - 9.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ý link: http://hdl.handle.net/11104/0299216Název souboru Staženo Velikost Komentář Verze Přístup 0508255-aw.pdf 2 525.5 KB volně online Vydavatelský postprint povolen - 10.0505159 - ÚI 2020 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor
Substructural propositional dynamic logics.
Logic, Language, Information, and Computation. Berlin: Springer, 2019 - (Iemhoff, R.; Moortgat, M.; de Queiroz, R.), s. 594-609. Lecture Notes in Computer Science, 11541. ISBN 978-3-662-59532-9. ISSN 0302-9743.
[WoLLIC 2019. International Workshop on Logic, Language, Information and Computation /26./. Utrecht (NL), 02.07.2019-05.07.2019]
Grant CEP: GA MŠMT(CZ) EF17_050/0008361
Institucionální podpora: RVO:67985807
Klíčová slova: Lambek calculus * Modal logic * Propositional dynamic logic * Relevant logic * Substructural logic
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0296659