| 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'sElementsand 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 |
Two classes of intermediate propositional logics without disjunction property
Archive for Mathematical Logic | 1989-01-01 | Paper |
A general treatment of equivalent modalities
Journal of Symbolic 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 |
A Test to Determine Distinct Modalities in the Extensions of S4
Mathematical Logic Quarterly | 1985-01-01 | Paper |
An effective representation for finitely generated free interior algebras
Algebra Universalis | 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 |
On the axiomatization of finite K-frames
Studia Logica | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3809532 (Why is no real title available?)
| 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 |
