All Stories

  1. Representation of Lattices with Modal Operators in Two-Sorted Frames

    Article • Fundamenta Informaticae, March 2019, IOS Press

    Prof. Dr Hab. Ewa Orłowska, Chrysafis (Takis) Hartonas

  2. Lattice logic as a fragment of (2-sorted) residuated modal logic

    Article • Journal of Applied Non-Classical Logics, November 2018, Taylor & Francis

    Chrysafis (Takis) Hartonas