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
A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3039309	1981-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alberto Zanardo