#### Filter Results:

- Full text PDF available (1)

#### Publication Year

1993

1996

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

#### Publication Type

#### Journals and Conferences

#### Key Phrases

Learn More

- Claudio Cerrato
- Studia Logica
- 1994

1. I n t r o d u c t i o n Graded normal logics ( G N L s ) are the extensions of modal normal logics to a language with graded modalities. The interpretation in usual Kripke models of a formula <>hA (n < w), whose main operator is a graded possibility, is there are more than n accessible worlds where A is true. When graded modalities were introduced (in… (More)

- Claudio Cerrato
- Notre Dame Journal of Formal Logic
- 1993

- Claudio Cerrato
- Math. Log. Q.
- 1993

We present sequent calculi for normal modal logics where modal and propositional behaviours are separated. and we prove a cut elimination theorem for t,he basic system K, so as completeness theorems (in the new style) both for K itself and for its most popular enrichments. MSC: 03B45, 03F05.

- Claudio Cerrato
- Notre Dame Journal of Formal Logic
- 1994

- Claudio Cerrato
- Math. Log. Q.
- 1996

- ‹
- 1
- ›