Towards a Proof Theory of G\'odel Modal Logics

Authors :: Metcalfe, George
Olivetti, Nicola
Source :: Logical Methods in Computer Science, Volume 7, Issue 2 (May 17, 2011) lmcs:972
Publication Year :: 2011
Abstract: 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.

Subjects :: Mathematics - Logic
Computer Science - Logic in Computer Science
cs.LO

Database :: arXiv
Journal :: Logical Methods in Computer Science, Volume 7, Issue 2 (May 17, 2011) lmcs:972
Publication Type :: Report
Accession number :: edsarx.1105.1256
Document Type :: Working Paper
Full Text :: https://doi.org/10.2168/LMCS-7(2:10)2011