Skip to main content
Article thumbnail
Location of Repository

Towards a Proof Theory of G\"odel Modal Logics

By George Metcalfe and Nicola Olivetti


Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

Topics: Mathematics - Logic, Computer Science - Logic in Computer Science, cs.LO
Year: 2011
DOI identifier: 10.2168/LMCS-7(2:10)2011
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.