Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Aristotelian diagrams for semantic and syntactic consequence | Synthese |
| 3 | 2021 |
Characterising modal definability of team-based logics via the universal modality | Annals of Pure and Applied Logic |
| 1 | 2019 |
Boolean considerations on John Buridan's octagons of opposition | History and Philosophy of Logic |
| 12 | 2019 |
Proof Theory for Functional Modal Logic | Studia Logica |
| 3 | 2018 |
Geometric and cognitive differences between logical diagrams for the Boolean algebra B 4 $\mathbb {B}_{4}$ | Annals of Mathematics and Artificial Intelligence |
| 6 | 2018 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Boolean Subtypes of the U4 Hexagon of Opposition | Axioms |
| 2024 |
Category | Category Repetition |
---|---|
Science: Mathematics | 1 |
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods | 1 |