| Publication | Date of Publication | Type |
|---|
| Lambek-Grishin calculus: focusing, display and full polarization | 2024-10-01 | Paper |
| Non-distributive description logic | 2024-05-17 | Paper |
| Algebraic proof theory for LE-logics | 2024-04-26 | Paper |
| Labelled calculi for the logics of rough concepts | 2023-08-17 | Paper |
| Labelled calculi for lattice-based modal logics | 2023-08-17 | Paper |
| Neighbourhood Semantics for Graded Modal Logic | 2023-05-04 | Paper |
| Linear Logic Properly Displayed | 2023-04-05 | Paper |
| Algorithmic correspondence and analytic rules | 2023-03-24 | Paper |
| Syntactic Completeness of Proper Display Calculi | 2022-12-08 | Paper |
| Vector spaces as Kripke frames | 2022-09-28 | Paper |
| Non-normal modal logics and conditional logics: semantic analysis and proof theory | 2022-06-13 | Paper |
| Algorithmic correspondence and analytic rules | 2022-03-26 | Paper |
| Unified inverse correspondence for DLE-Logics | 2022-03-17 | Paper |
| First order logic properly displayed | 2021-05-14 | Paper |
| Semi De Morgan logic properly displayed | 2021-04-27 | Paper |
| Lambek-Grishin Calculus: Focusing, Display and Full Polarization | 2020-11-05 | Paper |
| Non-normal logics: semantic analysis and proof theory (extended version) | 2020-09-29 | Paper |
| Non normal logics: semantic analysis and proof theory | 2020-03-04 | Paper |
| Logics for rough concept analysis | 2020-01-14 | Paper |
| Proper multi-type display calculi for rough algebras | 2019-11-13 | Paper |
| Bilattice logic properly displayed | 2019-10-16 | Paper |
| Non normal logics: semantic analysis and proof theory | 2019-03-12 | Paper |
| Unified correspondence as a proof-theoretic tool | 2019-01-31 | Paper |
| Logics for Rough Concept Analysis | 2018-11-17 | Paper |
| Software tool support for modular reasoning in modal logics of actions | 2018-10-04 | Paper |
| Semi De Morgan logic properly displayed | 2018-09-20 | Paper |
| THE LOGIC OF RESOURCES AND CAPABILITIES | 2018-08-07 | Paper |
| Kleene algebras, adjunction and structural control | 2018-05-19 | Paper |
| Lattice logic properly displayed | 2017-12-20 | Paper |
| Multi-type display calculus for semi De Morgan logic | 2017-12-20 | Paper |
| A proof-theoretic semantic analysis of dynamic epistemic logic | 2017-01-31 | Paper |
| Multi-type display calculus for dynamic epistemic logic | 2017-01-31 | Paper |
| Multi-type display calculus for propositional dynamic logic | 2017-01-31 | Paper |
| Multi-type Sequent Calculi | 2016-09-17 | Paper |
| A Multi-type Calculus for Inquisitive Logic | 2016-09-09 | Paper |
| Dynamic epistemic logic displayed | 2013-11-06 | Paper |
| Automatic layout optimization of power discrete devices using innovative distributed model techniques | 2012-08-27 | Paper |
| Coupled EM \& circuit simulation flow for integrated spiral inductor | 2009-04-03 | Paper |
| Non-distributive description logic | N/A | Paper |
| Generating proof systems for three-valued propositional logics | N/A | Paper |
| Labelled calculi for lattice-based modal logics | N/A | Paper |
| Labelled calculi for the logics of rough concepts | N/A | Paper |
