Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alberto Zanardo
@article{DBLP:journals/jolli/RumbergZ19,
author = {Antje Rumberg and
Alberto Zanardo},
title = {First-Order Definability of Transition Structures},
journal = {J. Log. Lang. Inf.},
volume = {28},
number = {3},
pages = {459--488},
year = {2019},
url = {https://doi.org/10.1007/s10849-018-9276-4},
doi = {10.1007/S10849-018-9276-4},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/RumbergZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Zanardo13,
author = {Alberto Zanardo},
title = {Indistinguishability, Choices, and Logics of Agency},
journal = {Stud Logica},
volume = {101},
number = {6},
pages = {1215--1236},
year = {2013},
url = {https://doi.org/10.1007/s11225-013-9530-3},
doi = {10.1007/S11225-013-9530-3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Zanardo13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/CiuniZ10,
author = {Roberto Ciuni and
Alberto Zanardo},
title = {Completeness of a Branching-Time Logic with Possible Choices},
journal = {Stud Logica},
volume = {96},
number = {3},
pages = {393--420},
year = {2010},
url = {https://doi.org/10.1007/s11225-010-9291-1},
doi = {10.1007/S11225-010-9291-1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/CiuniZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GorankoZ07,
author = {Valentin Goranko and
Alberto Zanardo},
title = {From Linear to Branching-Time Temporal Logics: Transfer of Semantics
and Definability},
journal = {Log. J. {IGPL}},
volume = {15},
number = {1},
pages = {53--76},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzl035},
doi = {10.1093/JIGPAL/JZL035},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GorankoZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Zanardo06,
author = {Alberto Zanardo},
title = {Quantification over Sets of Possible Worlds in Branching-Time Semantics},
journal = {Stud Logica},
volume = {82},
number = {3},
pages = {379--400},
year = {2006},
url = {https://doi.org/10.1007/s11225-006-8104-z},
doi = {10.1007/S11225-006-8104-Z},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Zanardo06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Zanardo06,
author = {Alberto Zanardo},
title = {Moment/History Duality in Prior's Logics of Branching-Time},
journal = {Synth.},
volume = {150},
number = {3},
pages = {483--507},
year = {2006},
url = {https://doi.org/10.1007/s11229-005-5519-4},
doi = {10.1007/S11229-005-5519-4},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Zanardo06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/SabbadinZ03,
author = {Michela Sabbadin and
Alberto Zanardo},
title = {Topological Aspects of Branching-Time Semantics},
journal = {Stud Logica},
volume = {75},
number = {3},
pages = {271--286},
year = {2003},
url = {https://doi.org/10.1023/B:STUD.0000009560.90259.de},
doi = {10.1023/B:STUD.0000009560.90259.DE},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/SabbadinZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/SernadasSZ02,
author = {Am{\'{\i}}lcar Sernadas and
Cristina Sernadas and
Alberto Zanardo},
title = {Fibring Modal First-Order Logics: Completeness Preservation},
journal = {Log. J. {IGPL}},
volume = {10},
number = {4},
pages = {413--451},
year = {2002},
url = {https://doi.org/10.1093/jigpal/10.4.413},
doi = {10.1093/JIGPAL/10.4.413},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/SernadasSZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ZanardoSS01,
author = {Alberto Zanardo and
Am{\'{\i}}lcar Sernadas and
Cristina Sernadas},
title = {Fibring: Completeness Preservation},
journal = {J. Symb. Log.},
volume = {66},
number = {1},
pages = {414--439},
year = {2001},
url = {https://doi.org/10.2307/2694931},
doi = {10.2307/2694931},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ZanardoSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ZanardoBR99,
author = {Alberto Zanardo and
Bruno Barcellan and
Mark Reynolds},
title = {Non-Definability of the Class of Complete Bundled Trees},
journal = {Log. J. {IGPL}},
volume = {7},
number = {1},
pages = {125--136},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.1.125},
doi = {10.1093/JIGPAL/7.1.125},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/ZanardoBR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Zanardo98,
author = {Alberto Zanardo},
title = {Undivided and Indistinguishable Histories in Branching-Time Logics},
journal = {J. Log. Lang. Inf.},
volume = {7},
number = {3},
pages = {297--315},
year = {1998},
url = {https://doi.org/10.1023/A:1008259000544},
doi = {10.1023/A:1008259000544},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Zanardo98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/MaioZ98,
author = {Maria Concetta Di Maio and
Alberto Zanardo},
title = {A Gabbay-Rule Free Axiomatization of T{\texttimes}W Validity},
journal = {J. Philos. Log.},
volume = {27},
number = {5},
pages = {435--487},
year = {1998},
url = {https://doi.org/10.1023/A:1004284420809},
doi = {10.1023/A:1004284420809},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/MaioZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BadaloniZ96,
author = {Silvana Badaloni and
Alberto Zanardo},
title = {Plausible Reasoning: {A} First-Order Approach},
journal = {J. Appl. Non Class. Logics},
volume = {6},
number = {3},
pages = {215--261},
year = {1996},
url = {https://doi.org/10.1080/11663081.1996.10510883},
doi = {10.1080/11663081.1996.10510883},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/BadaloniZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Zanardo96,
author = {Alberto Zanardo},
title = {Branching-Time Logic with Quantification over Brances: The Point of
View of Modal Logic},
journal = {J. Symb. Log.},
volume = {61},
number = {1},
pages = {1--39},
year = {1996},
url = {https://doi.org/10.2307/2275595},
doi = {10.2307/2275595},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Zanardo96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/MaioZ94,
author = {Maria Concetta Di Maio and
Alberto Zanardo},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Synchronized Histories in Prior-Thomason Representation of Branching
Time},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {265--282},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013993},
doi = {10.1007/BFB0013993},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ictl/MaioZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ZanardoC93,
author = {Alberto Zanardo and
Jos{\'{e}} Carmo},
title = {Ockhamist Computational Logic: Past-Sensitive Necessitation in {CTL}},
journal = {J. Log. Comput.},
volume = {3},
number = {3},
pages = {249--268},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.3.249},
doi = {10.1093/LOGCOM/3.3.249},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ZanardoC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BadaloniPSZ93,
author = {Silvana Badaloni and
Enrico Pagello and
L. Stocchiero and
Alberto Zanardo},
editor = {Pietro Torasso},
title = {Making an Autonomous Robot Plan Temporally Constrained Maintenance
Operations},
booktitle = {Advances in Artificial Intelligence, Third Congress of the Italian
Association for Artificial Intelligence, AI*IA'93, Torino, Italy,
October 26-28, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {728},
pages = {290--301},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57292-9\_67},
doi = {10.1007/3-540-57292-9\_67},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/BadaloniPSZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zanardo92,
author = {Alberto Zanardo},
title = {A Note about the Axioms for Branching-Time Logic},
journal = {Notre Dame J. Formal Log.},
volume = {33},
number = {2},
pages = {225--228},
year = {1992},
url = {https://doi.org/10.1305/ndjfl/1093636100},
doi = {10.1305/NDJFL/1093636100},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zanardo92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Zanardo91,
author = {Alberto Zanardo},
title = {A complete deductive-system for since-until branching-time logic},
journal = {J. Philos. Log.},
volume = {20},
number = {2},
pages = {131--148},
year = {1991},
url = {https://doi.org/10.1007/BF00284972},
doi = {10.1007/BF00284972},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Zanardo91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BadaloniZ91,
author = {Silvana Badaloni and
Alberto Zanardo},
editor = {Edoardo Ardizzone and
Salvatore Gaglio and
Filippo Sorbello},
title = {Typicality for Plausible Reasoning},
booktitle = {Trends in Artificial Intelligence, 2nd Congress of the Italian Association
for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31,
1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {549},
pages = {470--474},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54712-6\_264},
doi = {10.1007/3-540-54712-6\_264},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/BadaloniZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Zanardo90,
author = {Alberto Zanardo},
title = {Axiomatization of 'Peircean' branching-time logic},
journal = {Stud Logica},
volume = {49},
number = {2},
pages = {183--195},
year = {1990},
url = {https://doi.org/10.1007/BF00935598},
doi = {10.1007/BF00935598},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Zanardo90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/BonottoZ89,
author = {Cinzia Bonotto and
Alberto Zanardo},
title = {A non-compactness phenomenon in logics with hyperintensional predication},
journal = {J. Philos. Log.},
volume = {18},
number = {4},
pages = {383--398},
year = {1989},
url = {https://doi.org/10.1007/BF00262942},
doi = {10.1007/BF00262942},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/BonottoZ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zanardo86,
author = {Alberto Zanardo},
title = {On the characterizability of the frames for the "unpreventability
of the present and the past"},
journal = {Notre Dame J. Formal Log.},
volume = {27},
number = {4},
pages = {556--564},
year = {1986},
url = {https://doi.org/10.1305/ndjfl/1093636769},
doi = {10.1305/NDJFL/1093636769},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zanardo86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Zanardo85,
author = {Alberto Zanardo},
title = {A finite axiomatization of the set of strongly valid Ockhamist formulas},
journal = {J. Philos. Log.},
volume = {14},
number = {4},
pages = {447--468},
year = {1985},
url = {https://doi.org/10.1007/BF00649485},
doi = {10.1007/BF00649485},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Zanardo85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zanardo84,
author = {Alberto Zanardo},
title = {Individual concepts as propositional variables in ML\({}^{\mbox{{\(\nu\)}+1}}\)},
journal = {Notre Dame J. Formal Log.},
volume = {25},
number = {4},
pages = {332--346},
year = {1984},
url = {https://doi.org/10.1305/ndjfl/1093870685},
doi = {10.1305/NDJFL/1093870685},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zanardo84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zanardo83,
author = {Alberto Zanardo},
title = {On the equivalence between the calculi MC\({}^{\mbox{{\(\nu\)}}}\)
and EC\({}^{\mbox{{\(\nu\)}+1}}\) of A. Bressan},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {3},
pages = {367--388},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870381},
doi = {10.1305/NDJFL/1093870381},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zanardo83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
