Search results
- 1.0545055 - ÚI 2022 US eng V - Research Report
Sedlár, Igor
Finitely-valued propositional dynamic logic.
Cornell University, 2020. 17 s. arXiv.org e-Print archive, arXiv:2012.12133 [cs.LO].
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
https://arxiv.org/abs/2012.12133
Permanent Link: http://hdl.handle.net/11104/0321832 - 2.0511262 - ÚI 2020 US eng V - Research Report
Sedlár, Igor - Punčochář, Vít - Tedder, Andrew
First Degree Entailment with Group Attitudes and Information Updates.
Cornell University, 2019. 12 s. arXiv.org e-Print archive, arXiv:1909.11363 [cs.LO].
Institutional support: RVO:67985807
OECD category: Pure mathematics
https://arxiv.org/abs/1909.11363
Permanent Link: http://hdl.handle.net/11104/0301579File Download Size Commentary Version Access 0511262-aw.pdf 0 175.7 KB z ArXiv.org Author´s preprint open-access - 3.0511260 - ÚI 2020 US eng V - Research Report
Sedlár, Igor
Iterative division in the Distributive Full Non-associative Lambek Calculus.
Cornell University, 2019. 13 s. arXiv.org e-Print archive, arXiv:1909.11350 [cs.LO].
Institutional support: RVO:67985807
OECD category: Pure mathematics
https://arxiv.org/abs/1909.11350
Permanent Link: http://hdl.handle.net/11104/0301578File Download Size Commentary Version Access 0511260-aw.pdf 0 166.5 KB z ArXiv.org Author´s preprint open-access - 4.0505318 - ÚI 2020 US eng V - Research Report
Sedlár, Igor
Propositional dynamic logic with Belnapian truth values.
Cornell University, 2016. arXiv.org e-Print archive, arXiv:1608.06084 [cs.LO].
OECD category: Pure mathematics
https://arxiv.org/abs/1608.06084
Permanent Link: http://hdl.handle.net/11104/0296777