Minimal Axiomatization in Modal Logic

Abstract

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)
DOI: 10.1002/malq.19970430112

Topics

  • Presentations referencing similar topics