#### Filter Results:

- Full text PDF available (8)

#### Publication Year

1981

2013

- This year (0)
- Last 5 years (1)
- Last 10 years (4)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Alberto Zanardo, Amílcar Sernadas, Cristina Sernadas
- J. Symb. Log.
- 2001

A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames). As a corollary, completeness is shown to be preserved by fibring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under fibring and to… (More)

- Alberto Zanardo
- J. Symb. Log.
- 1996

- Alberto Zanardo, José Carmo
- J. Log. Comput.
- 1993

- Alberto Zanardo
- J. Philosophical Logic
- 1985

The subject of this paper is the tense and modal logic called ‘Ockhamist’ in [l, p. 5741. The main result is a completeness theorem for a finite axiomatization of validity relative to Ockhamist frames. This answers the question (left open in [l]) of the finite axiomatizability of this class of formulas. The Ockhamists’ attitude towards tenses is an… (More)

- Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo
- Logic Journal of the IGPL
- 2002

Fibring is defined as a mechanism for combining logics with a firstorder base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of such logics, using a variation of the Henkin method that takes advantage of the presence of equality and inequality in the logic. As a corollary, completeness is shown to be… (More)

- Valentin Goranko, Alberto Zanardo
- Logic Journal of the IGPL
- 2007

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as… (More)

- Alberto Zanardo
- Journal of Logic, Language and Information
- 1998

- Roberto Ciuni, Alberto Zanardo
- Studia Logica
- 2010

In this paper we present BTC, which is a logic for branching-time whose modal operator quantifies over histories and temporal operators involves a restricted quantification over histories in a given possible choice. This is a technical novelty, since the operators of the usual logics for branching-time such as CTL expresses an unrestricted quantification… (More)

- Federico Colombo, Francesco Angrilli, Alberto Zanardo, Vittore Pinna, Alberto Benedetti
- Acta Neurochirurgica
- 1981

The proposed system is essentially based on the definition of a coordinate system, rigidly connected with the skull, by the introduction of three reference X-ray opaque points, secured into the bone of the skull. Target and reference points CT coordinates are given by the image display console. The three reference points are also identified on… (More)

- Alberto Zanardo, Margherita Rizzotti
- Journal of theoretical biology
- 1986

When certain assumptions are claimed to "found" a scientific theory, two kinds of controls are needed: it must be proved that every assertion of the theory is derived from the assumptions and that no assumption depends on (that is, derives from) the other ones. The formal approach (when possible) is the best method of achieving these results. In this paper… (More)