A Many-sorted Polyadic Modal Logic

Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta. A Many-sorted Polyadic Modal Logic. Fundamenta Informaticae, 173(2-3):191-215, 2020. [doi]

No reviews for this publication, yet.