Standard G\"odel modal logics are not realized by G\"odel justification logics
classification
🧮 math.LO
keywords
logicsodeljustificationmodalrealizedstandardalthoughbasic
read the original abstract
We show that the standard G\"odel modal logics, as initially introduced by Caicedo and Rodriguez in \cite{CR2009,CR2010}, are not realized by the basic G\"odel justification logics although being related by the forgetful projection.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.