Tableaux for Logics of Subinterval Structures over Dense Orderings

Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala

    Research output: Contribution to journalConference articleResearchpeer-review

    Fingerprint

    Dive into the research topics of 'Tableaux for Logics of Subinterval Structures over Dense Orderings'. Together they form a unique fingerprint.

    Mathematics

    Arts & Humanities

    Engineering & Materials Science