2000 character limit reached
Intuitionistic modal logics: a minimal setting (2502.19060v1)
Published 26 Feb 2025 in math.LO and cs.LO
Abstract: We introduce an intuitionistic modal logic strictly contained in the intuitionistic modal logic IK and being an appropriate candidate for the title of ``minimal normal intuitionistic modal logic''.
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.