Sfoglia per Autore
La Musica nel Quadrivio: un'introduzione al problema dell'accordatura della scala.
2000-01-01 Bellissima, Fabio
Epimoric ratios and Greek music theory.
1999-01-01 Bellissima, Fabio
Minimal p-morphic images, axiomatizations and coverings in the modal logic K4.
1999-01-01 Bellissima, Fabio; Cittadini, S.
Finite trees in Tense Logic.
1999-01-01 Bellissima, Fabio; Cittadini, S.
Numeri e suoni nelle accordature di Tolomeo.
1998-01-01 Bellissima, Fabio
Duality and completeness for US-logics
1998-01-01 Bellissima, F.; Cittadini, S.
Minimal Axiomatization in Modal Logic
1997-01-01 Bellissima, Fabio; Cittadini, S.
Consequentia Mirabilis: Storia di una regola logica.
1996-01-01 Bellissima, Fabio; Pagli, Paolo
A Distinguishable Model Theorem for the minimal US-tense logic
1995-01-01 Bellissima, Fabio; Bucalo, A.
Reduction of Until-Since operators to unary tense operators.
1993-01-01 Bellissima, Fabio; Mirolli, Massimo
An Introduction to Modal Semantic
1993-01-01 Bellissima, Fabio
La verità trasmessa. La logica attraverso le dimostrazioni matematiche.
1993-01-01 Bellissima, Fabio; Pagli, Paolo
On the Unadequacy of the relational semantic for the "Until" operator.
1992-01-01 Bellissima, Fabio; Ciupi, A.
Atoms of tense algebras.
1991-01-01 Bellissima, Fabio
A general treatment of equivalent modalities in normal modal logics.
1989-01-01 Bellissima, Fabio; Mirolli, Massimo
Infinite sets of non-equivalent modalities
1989-01-01 Bellissima, Fabio
Two classes of intermediate propositional logics without disjunction property.
1989-01-01 Bellissima, Fabio
Post complete and 0-axiomatizable modal logics
1988-01-01 Bellissima, Fabio
Finite and finitely separable intermediate propositional logics.
1988-01-01 Bellissima, Fabio
On the lattices of extensions of the modal logics KAltn.
1988-01-01 Bellissima, Fabio
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile