Axiomatization of crisp Godel modal logic
From MaRDI portal
Publication:6339745
DOI10.1007/S11225-020-09910-5arXiv2004.14706MaRDI QIDQ6339745FDOQ6339745
Authors: Ricardo Rodriguez, A. Vidal 
Publication date: 30 April 2020
Abstract: In this paper we consider the modal logic with both Box and Diamond arising fromKripke models with a crisp accessibility and whose propositions are valued over the stan-dard Godel algebra [0,1]G. We provide an axiomatic system extending the one from [3]for models with a valued accessibility with Dunn axiom from positive modal logics, andshow it is strongly complete with respect to the intended semantics. The axiomatizationsof the most usual frame restrictions are given too. We also prove that in the studied logicit is not possible to get Box as an abbreviation of Diamond, nor vice-versa, showing that indeedthe axiomatic system we present does not coincide with any ofthe mono-modal fragmentspreviously axiomatized in the literature.
Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)
This page was built for publication: Axiomatization of crisp Godel modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6339745)
