Maria Concetta Di Maio (concettadimaio)

Contributions to Philosophie.ch

Bibliography

Cellucci, Carlo, Concetta Di Maio, Maria and Roncaglia, Gino, eds. 1994. Atti del Congresso “Logica e Filosofia della Scienza: Problemi e Prospettive,” Lucca 7-10 gennaio 1993. Pisa: Edizioni ETS.
Concetta Di Maio, Maria and Zanardo, Alberto. 1994. “Synchronized Histories in Prior-Thomason Representation of Branching Time.” in Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M. Gabbay and Hans Jürgen Ohlbach, pp. 265–282. Lecture Notes in Computer Science n. 827. Berlin: Springer.
Concetta Di Maio, Maria and Zanardo, Alberto. 1996. “A Gabbay-Rule Free Axiomatization of \(T\times W\) Validity.” 27. Padova: Universitá degli Studia di Padova. Journal publication: Concetta Di Maio and Zanardo (1998).
Concetta Di Maio, Maria and Zanardo, Alberto. 1998. “A Gabbay-Rule Free Axiomatization of \(T\times W\) Validity.” The Journal of Philosophical Logic 27(5): 435–487.