#### Filter Results:

#### Publication Year

1988

2013

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

A general strategy for proving completeness theorems for quantified modal logics is provided. Starting from free quantified modal logic K, with or without identity, extensions obtained either by adding the principle of universal instantiation or the converse of the Barcan formula or the Barcan formula are considered and proved complete in a uniform way.… (More)

- Giovanna Corsi
- 2002

Counterpart semantics is proposed as the appropriate semantical framework for a foundational investigation of quantified modal logics. It turns out to be a limit case of the categorical semantics of relational universes introduced by Ghi-lardi and Meloni in 1988. The main result is a deeper understanding of the interplay between substitution, quantification… (More)

- ‹
- 1
- ›