Axiomatizing logics of finite Gödel-Kripke models
We investigate completeness for modal Gödel logics with respect to finite Gödel-Kripke models, along with related aspects. It is well known that the logics studied in [4, 11] fail to be complete with respect to finite Gödel-Kripke models. We show that the natural candidate axiomatic extensions do not restore completeness, thereby resolving a 15 year open problem posed in the aforementioned works. We then provide new axiomatizations that are complete for finite models and characterize intermediate witnessing conditions that hold for the basic logics.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.15810
curl -X POST /api/v1/records/arxiv/2605.15810/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.15810/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'