The d-Logic of the Rational Numbers: A Fruitful Construction

  • Authors:

  • Joel Lucero-Bryan

  • Affiliations:

  • Department of Mathematical Sciences, New Mexico State University, Las Cruces, USA 88003-8001

  • Venue:
  • Studia Logica
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present a geometric construction that yields completeness results for modal logics including K4, KD4, GL and GL n with respect to certain subspaces of the rational numbers. These completeness results are extended to the bimodal case with the universal modality.