2000 character limit reached
Standard Gödel modal logics are not realized by Gödel justification logics
Published 10 Jul 2019 in math.LO | (1907.04583v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.