- Modal translation of substructural logics.Chrysafis Hartonas - 2020 - Journal of Applied Non-Classical Logics 30 (1):16-49.details
|
|
Game-theoretic semantics for non-distributive logics.Chrysafis Hartonas - 2019 - Logic Journal of the IGPL 27 (5):718-742.details
|
|
Stone duality for lattice expansions.Chrysafis Hartonas - 2018 - Logic Journal of the IGPL 26 (5):475-504.details
|
|
A Sahlqvist theorem for substructural logic.Tomoyuki Suzuki - 2013 - Review of Symbolic Logic 6 (2):229-253.details
|
|
On Polarity Frames: Applications to Substructural and Lattice-based Logics.Tomoyuki Suzuki - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 533-552.details
|
|
Morphisms on Bi-approximation Semantics.Tomoyuki Suzuki - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 494-515.details
|
|
Modal and temporal extensions of non-distributive propositional logics.Chrysafis Hartonas - 2016 - Logic Journal of the IGPL 24 (2):156-185.details
|
|
Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework.Chrysafis Hartonas - 2018 - Journal of Philosophical Logic 47 (1):67-94.details
|
|
Order- dual realational semantics for non-distributive propositional logics.Chrysafis Hartonas - 2016 - Logic Journal of the IGPL 25 (2):145-182.details
|
|
Lattice logic as a fragment of (2-sorted) residuated modal logic.Chrysafis Hartonas - 2019 - Journal of Applied Non-Classical Logics 29 (2):152-170.details
|
|