On the axiomatization of finitek-frames

Studia Logica 42 (4):383 - 388 (1983)
  Copy   BIBTEX

Abstract

We find a short way to construct a formula which axiomatizes a given finite frame of the modal logicK, in the sense that for each finite frameA, we construct a formula A which holds in those and only those frames in which every formula true inA holds.To obtain this result we find, for each finite model and each natural numbern, a formula which holds in those and only those models in which every formula true in , and involving the firstn propositional letters, holds

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Minimal Axiomatization in Modal Logic.Fabio Bellissima & Saverio Cittadini - 1997 - Mathematical Logic Quarterly 43 (1):92-102.
Collapsing the cardinals of HOD.James Cummings, Sy David Friedman & Mohammad Golshani - 2015 - Journal of Mathematical Logic 15 (2):1550007.
Incompleteness and the Barcan formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.
Partiality and Adjointness in Modal Logic.Wesley H. Holliday - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 313-332.
Partiality and Adjointness in Modal Logic.Wesley H. Holliday - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Vol. 10. College Publications. pp. 313-332.
Dynamic Topological Completeness for.David Fernandez Duque - 2007 - Logic Journal of the IGPL 15 (1):77-107.
Modal characterisation theorems over special classes of frames.Anuj Dawar & Martin Otto - 2010 - Annals of Pure and Applied Logic 161 (1):1-42.
Formulas in modal logic s4.Katsumi Sasaki - 2010 - Review of Symbolic Logic 3 (4):600-627.

Analytics

Added to PP
2009-01-28

Downloads
34 (#484,999)

6 months
5 (#711,233)

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