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. A Relational Logic for Spatial Contact Based on Rough Set Approximation

    Article • Fundamenta Informaticae, December 2016, IOS Press

    Prof. Dr Hab. Ewa Orłowska