Výsledky vyhledávání
- 1.0545968 - ÚI 2022 NL eng J - Článek v odborném periodiku
Yamamoto, Kentarô
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics.
Studia Logica. Roč. 109, č. 2 (2021), s. 397-421. ISSN 0039-3215. E-ISSN 1572-8730
Klíčová slova: Modal logic * Canonicity * Fine's theorem * Goldblatt-Thomason theorem * Neighborhood frames
Impakt faktor: 0.833, rok: 2021
Trvalý link: http://hdl.handle.net/11104/0322573 - 2.0379885 - ÚI 2013 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Horčík, Rostislav - Velebil, J.
Distributive substructural logics as coalgebraic logics over posets.
Advances in Modal Logic. London: College Publications, 2012 - (Bolander, T.; Braüner, T.; Moss, L.; Ghilardi, S.), s. 119-142. 9. ISBN 978-1-84890-068-4.
[Advances in Modal Logic. Copenhagen (DK), 22.08.2012-25.08.2012]
Grant CEP: GA ČR GAP202/11/1632
Výzkumný záměr: CEZ:AV0Z10300504
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * frame semantics * coalgebras * coalgebraic logic * Goldblatt-Thomason theorem
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0210742Název souboru Staženo Velikost Komentář Verze Přístup 0379885.pdf 1 756.4 KB Autorský preprint povolen