Search results
- 1.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 - 2.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