Towards a Proof Theory of G\"odel Modal Logics

DOI10.2168/LMCS-7(2:10)2011zbMath1266.03044arXiv1105.1256MaRDI QIDQ3003328

Nicola Olivetti, George Metcalfe

Publication date: 26 May 2011

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1105.1256

zbMATH Keywords

proof theorymodal logicsGödel logicfuzzy logics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45)

Related Items (14)

Decidability of order-based modal logics ⋮ UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ One-variable fragments of intermediate logics over linear frames ⋮ Introduction ⋮ On the relationship between fuzzy description logics and many-valued modal logics ⋮ Expressivity in chain-based modal logics ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Logical characterizations of regular equivalence in weighted social networks ⋮ Axiomatization of crisp Gödel modal logic ⋮ On transitive modal many-valued logics ⋮ Neighborhood semantics for modal many-valued logics ⋮ Unnamed Item ⋮ Toward a general frame semantics for modal many-valued logics ⋮ Paraconsistent Gödel modal logic

This page was built for publication: Towards a Proof Theory of G\"odel Modal Logics