| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 7795664 (Why is no real title available?)
(available as arXiv preprint) | 2024-01-26 | Paper |
| scientific article; zbMATH DE number 7795664 (Why is no real title available?) | 2024-01-26 | Paper |
scientific article; zbMATH DE number 7795665 (Why is no real title available?)
(available as arXiv preprint) | 2024-01-26 | Paper |
| scientific article; zbMATH DE number 7795665 (Why is no real title available?) | 2024-01-26 | Paper |
First-order definability of transition structures
Journal of Logic, Language and Information | 2019-08-30 | Paper |
Indistinguishability, choices, and logics of agency
Studia Logica | 2014-06-19 | Paper |
Completeness of a branching-time logic with possible choices
Studia Logica | 2011-02-03 | Paper |
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
Logic Journal of the IGPL | 2007-05-18 | Paper |
Moment/history duality in Prior's logics of branching-time
Synthese | 2006-12-20 | Paper |
Quantification over sets of possible worlds in branching-time semantics
Studia Logica | 2006-08-18 | Paper |
Topological aspects of branching-time semantics
Studia Logica | 2004-01-14 | Paper |
Fibring Modal First-Order Logics: Completeness Preservation
Logic Journal of the IGPL | 2003-08-24 | Paper |
Fibring: Completeness preservation
The Journal of Symbolic Logic | 2002-03-11 | Paper |
| scientific article; zbMATH DE number 1536560 (Why is no real title available?) | 2000-11-28 | Paper |
Plausible reasoning: a first-order approach
Journal of Applied Non-Classical Logics | 2000-10-08 | Paper |
Undivided and indistinguishable histories in branching-time logics
Journal of Logic, Language and Information | 1999-09-29 | Paper |
Non-definability of the class of complete bundled trees
Logic Journal of the IGPL | 1999-03-30 | Paper |
A Gabbay-rule free axiomatization of \(T\times W\) validity
Journal of Philosophical Logic | 1998-12-02 | Paper |
Branching-time logic with quantification over branches: The point of view of modal logic
Journal of Symbolic Logic | 1996-06-02 | Paper |
Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
Journal Of Logic And Computation | 1994-12-05 | Paper |
A note about the axioms for branching-time logic
Notre Dame Journal of Formal Logic | 1993-02-22 | Paper |
A complete deductive-system for since-until branching-time logic
Journal of Philosophical Logic | 1991-01-01 | Paper |
Axiomatization of `Peircean' branching-time logic
Studia Logica | 1990-01-01 | Paper |
A non-compactness phenomenon in logics with hyperintensional predication
Journal of Philosophical Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4213961 (Why is no real title available?) | 1988-01-01 | Paper |
On the characterizability of the frames for the ``unpreventability of the present and the past
Notre Dame Journal of Formal Logic | 1986-01-01 | Paper |
A finite axiomatization of the set of strongly valid Ockhamist formulas
Journal of Philosophical Logic | 1985-01-01 | Paper |
Individual concepts as propositional variables in \(ML^{\nu +1}\)
Notre Dame Journal of Formal Logic | 1984-01-01 | Paper |
On the equivalence between the calculi \(MC^\nu\) and \(EC^{\nu+1}\) of A. Bressan
Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3831898 (Why is no real title available?) | 1981-01-01 | Paper |
A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan
Rendiconti del Seminario Matematico della Università di Padova | 1981-01-01 | Paper |
A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan
Rendiconti del Seminario Matematico della Università di Padova | 1981-01-01 | Paper |
