Skip to main content
Article thumbnail
Location of Repository

Cylindric modal logic

By Y. Venema


In this paper we develop a modal formalism called cylindric modal logic we investigate its basic\ud semantics and axiomatics. The motivation for introducing this formalism is twofold: first, it forms\ud an interesting bridge over the gap between propositional formalisms and first-order logic: And\ud second, the modal tools developed in studying cylindric modal logic will be applied to analyze,\ud some problems in algebraic logic

Topics: Wijsbegeerte
Year: 1993
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.