ZANARDO, ALBERTO
ZANARDO, ALBERTO
Mostra
records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.017 secondi).
Completeness of a Branching-Time Logic with Possible Choices
2010 Ciuni, R; 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.
From linear to branching-time temporal logics: transfer of semantics and definability
2007 Goranko, V; Zanardo, Alberto
Indistinguishability, choices, and logics of agency
2013 Zanardo, Alberto
Modalities in Temporal Logic
2009 Zanardo, Alberto
Moment/History Duality in Prior's Logics of Branching-Time
2006 Zanardo, Alberto
On a recent unpublished conjecture by Aldo Bressan
2004 Zanardo, Alberto
Quantification over Sets of Possible Worlds in Branching-Time Semantics
2006 Zanardo, Alberto
Topological Aspects of Branching-Time Semantics
2003 Sabbadin, M.; Zanardo, Alberto