Alberto Zanardo - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2019

First-Order Definability of Transition StructuresAntje Rumberg, Alberto Zanardo. jolli, 28(3):459-488, 2019. [doi]

2013

Indistinguishability, Choices, and Logics of AgencyAlberto Zanardo. sLogica, 101(6):1215-1236, 2013. [doi]

2010

Completeness of a Branching-Time Logic with Possible ChoicesRoberto Ciuni, Alberto Zanardo. sLogica, 96(3):393-420, 2010. [doi]

2007

From Linear to Branching-Time Temporal Logics: Transfer of Semantics and DefinabilityValentin Goranko, Alberto Zanardo. igpl, 15(1):53-76, 2007. [doi]

2006

Quantification over Sets of Possible Worlds in Branching-Time SemanticsAlberto Zanardo. sLogica, 82(3):379-400, 2006. [doi]

Moment/History Duality in Prior s Logics of Branching-TimeAlberto Zanardo. synthese, 150(3):483-507, 2006. [doi]

2003

Topological Aspects of Branching-Time SemanticsMichela Sabbadin, Alberto Zanardo. sLogica, 75(3):271-286, 2003. [doi]

2002

Fibring Modal First-Order Logics: Completeness PreservationAmílcar Sernadas, Cristina Sernadas, Alberto Zanardo. igpl, 10(4):413-451, 2002. [doi]

2001

Fibring: Completeness PreservationAlberto Zanardo, Amílcar Sernadas, Cristina Sernadas. JSYML, 66(1):414-439, 2001.

1999

Non-Definability of the Class of Complete Bundled TreesAlberto Zanardo, Bruno Barcellan, Mark Reynolds. igpl, 7(1):125-136, 1999. [doi]

1998

A Gabbay-Rule Free Axiomatization of T×W ValidityMaria Concetta Di Maio, Alberto Zanardo. jphil, 27(5):435-487, 1998. [doi]

Undivided and Indistinguishable Histories in Branching-Time LogicsAlberto Zanardo. jolli, 7(3):297-315, 1998.

1996

Plausible Reasoning: A First-Order ApproachSilvana Badaloni, Alberto Zanardo. jancl, 6(3):215-261, 1996.

Branching-Time Logic with Quantification over Brances: The Point of View of Modal LogicAlberto Zanardo. JSYML, 61(1):1-39, 1996.

1994

Synchronized Histories in Prior-Thomason Representation of Branching TimeMaria Concetta Di Maio, Alberto Zanardo. ictl 1994: 265-282

1993

Making an Autonomous Robot Plan Temporally Constrained Maintenance OperationsSilvana Badaloni, Enrico Pagello, L. Stocchiero, Alberto Zanardo. aiia 1993: 290-301

Ockhamist Computational Logic: Past-Sensitive Necessitation in CTLAlberto Zanardo, José Carmo. logcom, 3(3):249-268, 1993.

1992

A Note about the Axioms for Branching-Time LogicAlberto Zanardo. ndjfl, 33(2):225-228, 1992.

1991

Typicality for Plausible ReasoningSilvana Badaloni, Alberto Zanardo. aiia 1991: 470-474

A complete deductive-system for since-until branching-time logicAlberto Zanardo. jphil, 20(2):131-148, 1991. [doi]

1990

Axiomatization of 'Peircean' branching-time logicAlberto Zanardo. sLogica, 49(2):183-195, 1990. [doi]

1989

A non-compactness phenomenon in logics with hyperintensional predicationCinzia Bonotto, Alberto Zanardo. jphil, 18(4):383-398, 1989. [doi]

1986

On the characterizability of the frames for the "unpreventability of the present and the past"Alberto Zanardo. ndjfl, 27(4):556-564, 1986. [doi]

1985

A finite axiomatization of the set of strongly valid Ockhamist formulasAlberto Zanardo. jphil, 14(4):447-468, 1985. [doi]

1984

ν+1Alberto Zanardo. ndjfl, 25(4):332-346, 1984. [doi]

1983

ν+1 of A. BressanAlberto Zanardo. ndjfl, 24(3):367-388, 1983. [doi]

Sign in or sign up to see more results.

runs on WebDSL