Search results
- 1.0584019 - ÚI 2024 NL eng A - Abstract
Sedlár, Igor - Bílková, Marta
Epistemic Logics of Structured Intensional Groups.
14th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023): Accepted Contributions. Amsterdam: Tbilisi State University & Georgian Academy of Sciences & University of Amsterdam, 2023.
[TbiLLC 2023: Tbilisi Symposium on Logic, Language and Computation /14./. 18.09.2023-22.09.2023, Telavi]
Institutional support: RVO:67985807
https://events.illc.uva.nl/Tbilisi/Tbilisi2023/uploaded_files/inlineitem/Bilkova_Sedlar.pdf
Permanent Link: https://hdl.handle.net/11104/0352008 - 2.0584018 - ÚI 2024 NL eng A - Abstract
Sedlár, Igor - Majer, Ondrej
Weighted Programs and Ethical Planning.
14th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023): Accepted Contributions. Amsterdam: Tbilisi State University & Georgian Academy of Sciences & University of Amsterdam, 2023.
[TbiLLC 2023: Tbilisi Symposium on Logic, Language and Computation /14./. 18.09.2023-22.09.2023, Telavi]
Institutional support: RVO:67985807
https://events.illc.uva.nl/Tbilisi/Tbilisi2023/uploaded_files/inlineitem/Majer_Sedlar.pdf
Permanent Link: https://hdl.handle.net/11104/0352007 - 3.0546989 - ÚI 2022 CZ eng A - Abstract
Sedlár, Igor
Reasoning About Graded While Programs.
Kurt Gödel Day 2021 & Czech Gathering of Logicians 2021. Abstracts. Brno, 2021. s. 35-35.
[Kurt Gödel Day 2021 & Czech Gathering of Logicians 2021. 25.06.2021-26.06.2021, Brno]
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Permanent Link: http://hdl.handle.net/11104/0323357 - 4.0536663 - ÚI 2021 NL eng A - Abstract
Sedlár, Igor - Tedder, Andrew
Correction to: Lambek Calculus with Conjugates.
Studia Logica. Springer. Roč. 109, č. 3 (2021), s. 471-471. ISSN 0039-3215. E-ISSN 1572-8730
Institutional support: RVO:67985807
Keywords : oprava * correction
Permanent Link: http://hdl.handle.net/11104/0314399File Download Size Commentary Version Access 0536663-aoaf.pdf 0 147.7 KB OA Publisher’s postprint open-access 0536663-aoa.pdf 0 185.8 KB Oprava, OA Publisher’s postprint open-access - 5.0508278 - ÚI 2020 CH eng A - Abstract
Sedlár, Igor - Vidal, Amanda
Modal logics for reasoning about weighted graphs.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 84-86.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
Institutional support: RVO:67985807
Permanent Link: http://hdl.handle.net/11104/0299234File Download Size Commentary Version Access LATD2018.pdf 0 2.9 MB Publisher’s postprint require - 6.0508255 - ÚI 2020 CH eng A - Abstract
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]
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : Lambek calculus * dynamic logic * First Degree Entailment * paraconsistent logic * Propositional Dynamic Logic * substructural logics
http://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf
Permanent Link: http://hdl.handle.net/11104/0299216File Download Size Commentary Version Access 0508255-aw.pdf 2 525.5 KB volně online Publisher’s postprint open-access - 7.0508254 - ÚI 2020 CH eng A - Abstract
Punčochář, Vít - Sedlár, Igor
Informational semantics for superintuitionistic modal logics.
AiML 2018: Accepted Short Papers. Bern: Universität Bern, 2018. s. 95-99.
[AiML 2018: Advances in Modal Logic /12./. 27.08.2019-31.08.2019, Bern]
Institutional support: RVO:67985807
Keywords : Intuitionistic modal logic * neighborhood semantics * information models * information states
http://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf
Permanent Link: http://hdl.handle.net/11104/0299215File Download Size Commentary Version Access 0508254-aw.pdf 1 441.8 KB volně online Publisher’s postprint open-access - 8.0508246 - ÚI 2020 CH eng A - Abstract
Majer, Ondrej - Sedlár, Igor
Plausibility and conditional beliefs in paraconsistent modal logic.
AiML 2018: Accepted Short Papers. Bern: Universität Bern, 2018. s. 66-70.
[AiML 2018: Advances in Modal Logic /12./. 27.08.2019-31.08.2019, Bern]
Institutional support: RVO:67985807 ; RVO:67985955
Keywords : Epistemic logic * Hybrid logic * Paraconsistent logic * Plausibility orders
http://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf
Permanent Link: http://hdl.handle.net/11104/0299211File Download Size Commentary Version Access 0508246-aw.pdf 0 421.8 KB volně online Publisher’s postprint open-access - 9.0508239 - ÚI 2020 CZ eng A - Abstract
Tedder, Andrew - Sedlár, Igor
Residuals and conjugates in positive substructural logic.
CLMPST 2019. Book of Abstracts. Prague: DLMPST/IUHPST, 2019. s. 484-484.
[CLMPST 2019: The International Congress of Logic, Methodology and Philosophy of Science and Technology /16./. 05.10.2019-10.10.2019, Prague]
Institutional support: RVO:67985807
http://clmpst2019.flu.cas.cz/wp-content/uploads/2019/08/BoA_CLMPST2019_web.pdf
Permanent Link: http://hdl.handle.net/11104/0299205File Download Size Commentary Version Access 0508239.pdf 0 112.3 KB volně online Publisher’s postprint open-access - 10.0508238 - ÚI 2020 CZ eng A - Abstract
Sedlár, Igor
Substructural Propositional Dynamic Logic.
CLMPST 2019. Book of Abstracts. Prague: DLMPST/IUHPST, 2019. s. 431-431.
[CLMPST 2019: The International Congress of Logic, Methodology and Philosophy of Science and Technology /16./. 05.10.2019-10.10.2019, Prague]
Institutional support: RVO:67985807
http://clmpst2019.flu.cas.cz/wp-content/uploads/2019/08/BoA_CLMPST2019_web.pdf
Permanent Link: http://hdl.handle.net/11104/0299203File Download Size Commentary Version Access 508238-a.pdf 1 86.9 KB Publisher’s postprint require