| 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
ACM Transactions on Computational Logic | 2024-04-26 | Paper |
Labelled calculi for the logics of rough concepts
Logic and Its Applications | 2023-08-17 | Paper |
Labelled calculi for lattice-based modal logics
Logic and Its Applications | 2023-08-17 | Paper |
Neighbourhood Semantics for Graded Modal Logic
Bulletin of the Section of Logic | 2023-05-04 | Paper |
Linear Logic Properly Displayed
ACM Transactions on Computational Logic | 2023-04-05 | Paper |
Algorithmic correspondence and analytic rules
(available as arXiv preprint) | 2023-03-24 | Paper |
Syntactic Completeness of Proper Display Calculi
ACM Transactions on Computational Logic | 2022-12-08 | Paper |
Vector spaces as Kripke frames
(available as arXiv preprint) | 2022-09-28 | Paper |
Non-normal modal logics and conditional logics: semantic analysis and proof theory
Information and Computation | 2022-06-13 | Paper |
Algorithmic correspondence and analytic rules
(available as arXiv preprint) | 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
Studia Logica | 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
(available as arXiv preprint) | 2020-03-04 | Paper |
Logics for rough concept analysis
(available as arXiv preprint) | 2020-01-14 | Paper |
Proper multi-type display calculi for rough algebras
(available as arXiv preprint) | 2019-11-13 | Paper |
Bilattice logic properly displayed
Fuzzy Sets and Systems | 2019-10-16 | Paper |
Bilattice logic properly displayed
Fuzzy Sets and Systems | 2019-10-16 | Paper |
Non normal logics: semantic analysis and proof theory
(available as arXiv preprint) | 2019-03-12 | Paper |
Unified correspondence as a proof-theoretic tool
Journal Of Logic And Computation | 2019-01-31 | Paper |
Unified correspondence as a proof-theoretic tool
Journal Of Logic And Computation | 2019-01-31 | Paper |
Logics for Rough Concept Analysis
(available as arXiv preprint) | 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
(available as arXiv preprint) | 2018-09-20 | Paper |
THE LOGIC OF RESOURCES AND CAPABILITIES
The Review of Symbolic Logic | 2018-08-07 | Paper |
| Kleene algebras, adjunction and structural control | 2018-05-19 | Paper |
Lattice logic properly displayed
(available as arXiv preprint) | 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
Journal Of Logic And Computation | 2017-01-31 | Paper |
Multi-type display calculus for dynamic epistemic logic
Journal Of Logic And Computation | 2017-01-31 | Paper |
Multi-type display calculus for propositional dynamic logic
Journal Of Logic And Computation | 2017-01-31 | Paper |
| Multi-type Sequent Calculi | 2016-09-17 | Paper |
A Multi-type Calculus for Inquisitive Logic
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
Dynamic epistemic logic displayed
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
Automatic layout optimization of power discrete devices using innovative distributed model techniques
Mathematics in Industry | 2012-08-27 | Paper |
| Coupled EM \& circuit simulation flow for integrated spiral inductor | 2009-04-03 | Paper |
Non-distributive description logic
(available as arXiv preprint) | N/A | Paper |
Generating proof systems for three-valued propositional logics
(available as arXiv preprint) | N/A | Paper |
Labelled calculi for lattice-based modal logics
(available as arXiv preprint) | N/A | Paper |
Labelled calculi for the logics of rough concepts
(available as arXiv preprint) | N/A | Paper |
