Alberto Zanardo

Available identifiers

zbMath Open zanardo.albertoMaRDI QIDQ585185

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6183282	2024-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q6183283	2024-01-26	Paper
First-order definability of transition structures	2019-08-30	Paper
Indistinguishability, choices, and logics of agency	2014-06-19	Paper
Completeness of a branching-time logic with possible choices	2011-02-03	Paper
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability	2007-05-18	Paper
Moment/history duality in Prior's logics of branching-time	2006-12-20	Paper
Quantification over sets of possible worlds in branching-time semantics	2006-08-18	Paper
Topological aspects of branching-time semantics	2004-01-14	Paper
Fibring Modal First-Order Logics: Completeness Preservation	2003-08-24	Paper
Fibring: Completeness preservation	2002-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q4518428	2000-11-28	Paper
Plausible reasoning: a first-order approach	2000-10-08	Paper
Undivided and indistinguishable histories in branching-time logics	1999-09-29	Paper
Non-definability of the class of complete bundled trees	1999-03-30	Paper
A Gabbay-rule free axiomatization of \(T\times W\) validity	1998-12-02	Paper
Branching-time logic with quantification over branches: The point of view of modal logic	1996-06-02	Paper
Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL	1994-12-05	Paper
A note about the axioms for branching-time logic	1993-02-22	Paper
A complete deductive-system for since-until branching-time logic	1991-01-01	Paper
Axiomatization of `Peircean' branching-time logic	1990-01-01	Paper
A non-compactness phenomenon in logics with hyperintensional predication	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3360840	1988-01-01	Paper
On the characterizability of the frames for the ``unpreventability of the present and the past	1986-01-01	Paper
A finite axiomatization of the set of strongly valid Ockhamist formulas	1985-01-01	Paper
Individual concepts as propositional variables in \(ML^{\nu +1}\)	1984-01-01	Paper
On the equivalence between the calculi \(MC^\nu\) and \(EC^{\nu+1}\) of A. Bressan	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3039309	1981-01-01	Paper
A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan	1981-01-01	Paper

Research outcomes over time

This page was built for person: Alberto Zanardo