ZANARDO, ALBERTO
ZANARDO, ALBERTO
Mostra
records
Risultati 1 - 14 di 14 (tempo di esecuzione: 0.036 secondi).
Indistinguishability, choices, and logics of agency
2013 Zanardo, Alberto
Logiche Temporali
2013 Zanardo, Alberto
Completeness of a Branching-Time Logic with Possible Choices
2010 Ciuni, R; Zanardo, Alberto
Modalities in Temporal Logic
2009 Zanardo, Alberto
From linear to branching-time temporal logics: transfer of semantics and definability
2007 Goranko, V; Zanardo, Alberto
Moment/History Duality in Prior's Logics of Branching-Time
2006 Zanardo, Alberto
Quantification over Sets of Possible Worlds in Branching-Time Semantics
2006 Zanardo, Alberto
Branching-Time as a relative closeness relation among histories
2004 Zanardo, Alberto
Combining Linear Orders with Modalities for Possible Histories
2004 V., Goranko; Zanardo, Alberto
On a recent unpublished conjecture by Aldo Bressan
2004 Zanardo, Alberto
Preservation of Interpolation by Fibring
2004 W., Carnielli; C., Sernadas; Zanardo, Alberto
Topological Aspects of Branching-Time Semantics
2003 Sabbadin, M.; Zanardo, Alberto
Fibring Modal First-Order Logics: Completeness Preservation
2002 Sernadas, A.; Sernadas, C.; Zanardo, Alberto
Fibring: Completeness Preservation
2001 Zanardo, Alberto; Sernadas, A.; Sernadas, C.