| Publication | Date of Publication | Type |
|---|
Euler, Lambert and the musicians
Matematica, Cultura e Società. Rivista dell'Unione Matematica Italiana. Serie I | 2024-12-16 | Paper |
| Reading guide to \textit{Tentamen novae theoriae musicae} by Euler | 2020-09-17 | Paper |
| scientific article; zbMATH DE number 6988793 (Why is no real title available?) | 2018-12-04 | Paper |
Propositions VIII.4–5 of Euclid's<i>Elements</i>and the compounding of ratios on the monochord
BSHM Bulletin: Journal of the British Society for the History of Mathematics | 2016-02-11 | Paper |
| Arithmetic, geometric and harmonic means in music theory | 2015-01-26 | Paper |
| scientific article; zbMATH DE number 6096629 (Why is no real title available?) | 2012-10-21 | Paper |
| scientific article; zbMATH DE number 5830604 (Why is no real title available?) | 2010-12-31 | Paper |
| scientific article; zbMATH DE number 2171639 (Why is no real title available?) | 2005-05-25 | Paper |
| Epimoric ratios and Greek musical theory | 2004-02-09 | Paper |
Finite trees in tense logic
Studia Logica | 2001-10-15 | Paper |
Duality and completeness for US-logics
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
Minimal p-morphic images, axiomatizations and coverings in the modal logic K4
Studia Logica | 1999-09-07 | Paper |
Minimal Axiomatization in Modal Logic
Mathematical Logic Quarterly | 1997-05-25 | Paper |
A distinguishable model theorem for the minimal \(\text{US}\)-tense logic
Notre Dame Journal of Formal Logic | 1996-05-22 | Paper |
ON THE INADEQUACY OF THE RELATIONAL SEMANTIC FOR THE “UNTIL” OPERATOR
Mathematical Logic Quarterly | 1995-05-18 | Paper |
| scientific article; zbMATH DE number 624920 (Why is no real title available?) | 1994-10-05 | Paper |
Atoms of tense algebras
Algebra Universalis | 1991-01-01 | Paper |
Post complete and 0-axiomatizable modal logics
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
Infinite sets of nonequivalent modalities
Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
A general treatment of equivalent modalities
Journal of Symbolic Logic | 1989-01-01 | Paper |
Two classes of intermediate propositional logics without disjunction property
Archive for Mathematical Logic | 1989-01-01 | Paper |
Finite and finitely separable intermediate propositional logics
Journal of Symbolic Logic | 1988-01-01 | Paper |
On the lattice of extensions of the modal logics \(KAlt_ n\)
Archive for Mathematical Logic | 1988-01-01 | Paper |
Finitely generated free Heyting algebras
Journal of Symbolic Logic | 1986-01-01 | Paper |
An effective representation for finitely generated free interior algebras
Algebra Universalis | 1985-01-01 | Paper |
A Test to Determine Distinct Modalities in the Extensions of <i>S4</i>
Mathematical Logic Quarterly | 1985-01-01 | Paper |
ATOMS IN MODAL ALGEBRAS
Mathematical Logic Quarterly | 1984-01-01 | Paper |
On the relationship between one-point frames and degrees of unsatisfiability of modal formulas
Notre Dame Journal of Formal Logic | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3809532 (Why is no real title available?) | 1983-01-01 | Paper |
On the axiomatization of finite K-frames
Studia Logica | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3674055 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3628926 (Why is no real title available?) | 1978-01-01 | Paper |
