| Publication | Date of Publication | Type |
|---|
Choice-free topological duality for implicative lattices and Heyting algebras
Algebra Universalis | 2024-01-04 | Paper |
Duality for normal lattice expansions and sorted residuated frames with relations
Algebra Universalis | 2023-02-01 | Paper |
| scientific article; zbMATH DE number 7576851 (Why is no real title available?) | 2022-08-26 | Paper |
Stone duality for lattice expansions
Logic Journal of the IGPL | 2022-08-10 | Paper |
| Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations | 2021-10-13 | Paper |
| Reconciliation of Approaches to the Semantics of Logics without Distribution | 2021-09-23 | Paper |
Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
Outstanding Contributions to Logic | 2020-08-07 | Paper |
Modal translation of substructural logics
Journal of Applied Non-Classical Logics | 2020-02-24 | Paper |
| A Characterization Result for Non-Distributive Logics | 2020-01-01 | Paper |
Game-theoretic semantics for non-distributive logics
Logic Journal of the IGPL | 2019-11-04 | Paper |
Representation of lattices with modal operators in two-sorted frames
Fundamenta Informaticae | 2019-06-14 | Paper |
Duality results for (co)residuated lattices
Logica Universalis | 2019-05-31 | Paper |
Lattice logic as a fragment of (2-sorted) residuated modal logic
Journal of Applied Non-Classical Logics | 2019-05-28 | Paper |
Discrete duality for lattices with modal operators
Journal Of Logic And Computation | 2019-03-01 | Paper |
Order-dual relational semantics for non-distributive propositional logics
Logic Journal of the IGPL | 2019-01-08 | Paper |
Modal and temporal extensions of non-distributive propositional logics
Logic Journal of the IGPL | 2019-01-08 | Paper |
Canonical extensions and Kripke-Galois semantics for non-distributive logics
Logica Universalis | 2018-12-12 | Paper |
First-order frames for orthomodular quantum logic
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
Order-dual relational semantics for non-distributive propositional logics: a general framework
Journal of Philosophical Logic | 2018-03-01 | Paper |
Reasoning about types of action and agent capabilities
Logic Journal of the IGPL | 2015-02-27 | Paper |
On the dynamic logic of agency and action
Studia Logica | 2014-09-26 | Paper |
| scientific article; zbMATH DE number 1223624 (Why is no real title available?) | 1999-02-14 | Paper |
Stone duality for lattices
Algebra Universalis | 1998-11-23 | Paper |
Full abstractness for a functional/concurrent language with higher-order value-passing
Information and Computation | 1998-11-10 | Paper |
Duality for modal \(\mu\)-logics
Theoretical Computer Science | 1998-08-13 | Paper |
A fixpoint approach to finite delay and fairness
Theoretical Computer Science | 1998-08-13 | Paper |
Semantics for finite delay
Theoretical Computer Science | 1998-07-23 | Paper |
An algebraic theory of structured objects
Notre Dame Journal of Formal Logic | 1998-06-14 | Paper |
Duality for lattice-ordered algebras and for normal algebraizable logics
Studia Logica | 1998-05-10 | Paper |
Pretopology semantics for bimodal intuitionistic linear logic
Logic Journal of the IGPL | 1998-02-04 | Paper |
| scientific article; zbMATH DE number 972578 (Why is no real title available?) | 1997-04-21 | Paper |
| scientific article; zbMATH DE number 860042 (Why is no real title available?) | 1996-11-17 | Paper |
On the Logic of Information Flow
Logic Journal of the IGPL | 1996-02-20 | Paper |
| Order-duality, negation and lattice representation | 1996-01-01 | Paper |
Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
(available as arXiv preprint) | N/A | Paper |
