Minimal Axiomatization in Modal Logic

Mathematical Logic Quarterly 43 (1):92-102 (1997)
  Copy   BIBTEX


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, and that this result can not be extended to K



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

14 (#1,019,789)

6 months
3 (#1,045,901)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Modality of Finite.Maurizio Fattorosi-Barnaba & Uliano Paolozzi Balestrini - 1999 - Mathematical Logic Quarterly 45 (4):471-480.

Add more citations

References found in this work

An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.

Add more references