## Logics containing K 4 , part I

- K. FINE
- J . Symbolic Logic
- 1995

We consider the problem of finding, in the ambit of modal logic, a minimal characterization for finite Kripke frames, i. e . , a formula which, given a frame, axiomatizes its theory employing the lowest possible number of variables and implies the other axiomatizations. We show that every finite transitive frame admits a minimal characterization over K4… (More)

### Presentations referencing similar topics