Počet záznamů: 1
Propositional Dynamic Logic with Belnapian Truth Values
- 1.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]
https://www.collegepublications.co.uk/aiml/?00008
http://hdl.handle.net/11104/0264286
Citováno: 3
--- KAMIDE, N. - ZOHAR, Y. Modal extension of ideal paraconsistent four-valued logic and its subsystem. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, DEC 2020, vol. 171, no. 10. [WOS]
--- GRIGORIEV, O. - PETRUKHIN, Y. ON A MULTILATTICE ANALOGUE OF A HYPERSEQUENT S5 CALCULUS. LOGIC AND LOGICAL PHILOSOPHY. ISSN 1425-3305, DEC 2019, vol. 28, no. 4, p. 683-730. [WOS]
--- BILKOVA, M. - CINTULA, P. - LAVICKA, T. Lindenbaum and Pair Extension Lemma in Infinitary Logics. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2018). ISSN 0302-9743, 2018, vol. 10944, p. 130-144. [WOS]
Počet záznamů: 1