Research output per year
Research output per year
Search results
-
2023
Admissible rules for six intuitionistic modal logics
van der Giessen, I., 1 Apr 2023, In: Annals of Pure and Applied Logic. 174, 4, 34 p., 103233.Research output: Contribution to journal › Article › peer-review
Open AccessFile33 Downloads (Pure) -
Cyclic Hypersequent System for Transitive Closure Logic
Das, A. & Girlando, M., Sept 2023, In: Journal of Automated Reasoning. 67, 3, 40 p., 27.Research output: Contribution to journal › Article › peer-review
Open AccessFile19 Downloads (Pure)