Sedlár Igor

Publikace ASEP

RIV ID 3351145               

Označit vše / Zobrazit vše / Zrušit označení

Nalezeno záznamů: 2

0476493 - UIVT-O 2018 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor
Non-Classical PDL on the Cheap.
The Logica Yearbook 2016. London: College Publications, 2017 - (Arazim, P.; Lávička, T.), s. 239-255. ISBN 978-1-84890-243-5.
[Logica 2016. Hejnice (CZ), 20.06.2016-24.06.2016]
Institucionální podpora: RVO:67985807
Klíčová slova: DeMorgan negation * epistemic planning * formal verification * propositional dynamic logic
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0272980

0465841 - UIVT-O 2017 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor
Propositional Dynamic Logic with Belnapian Truth Values.
Advances in Modal Logic. Vol. 11. London: College Publications, 2016 - (Beklemishev, L.; Demri, S.; Máté, A.), s. 503-519. ISBN 978-1-84890-201-5.
[AIML 2016. Advances in Modal Logic. Budapest (HU), 30.08.2016-02.09.2016]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: Belnap-Dunn logic * four-valued logic * propositional dynamic logic
Kód oboru RIV: BA - Obecná matematika
Trvalý odkaz: http://hdl.handle.net/11104/0264286