Studia Logica

, Volume 84, Issue 2, pp 241–275

Generalized Kripke Frames


DOI: 10.1007/s11225-006-9008-7

Cite this article as:
Gehrke, M. Stud Logica (2006) 84: 241. doi:10.1007/s11225-006-9008-7


Algebraic work [9] shows that the deep theory of possible world semantics is available in the more general setting of substructural logics, at least in an algebraic guise. The question is whether it is also available in a relational form.This article seeks to set the stage for answering this question. Guided by the algebraic theory, but purely relationally we introduce a new type of frames. These structures generalize Kripke structures but are two-sorted, containing both worlds and co-worlds. These latter points may be viewed as modelling irreducible increases in information where worlds model irreducible decreases in information. Based on these structures, a purely model theoretic and uniform account of completeness for the implication-fusion fragment of various substructural logics is given. Completeness is obtained via a generalization of the standard canonical model construction in combination with correspondence results.

Copyright information

© Springer Science+Business Media, Inc. 2006

Authors and Affiliations

  1. 1.Department of Mathematical SciencesNew Mexico State UniversityLas CrucesUSA

Personalised recommendations