Skip to main content
Article thumbnail
Location of Repository

Cylindric modal logic

By Y. Venema

Abstract

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: oai:dspace.library.uu.nl:1874/27766
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dspace.library.uu.nl:80... (external link)
  • Suggested articles


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