Undecidability of the transitive graded modal logic with converse

DOI10.1093/logcom/exw026zbMath1444.03079OpenAlexW2508927473MaRDI QIDQ3133169

Evgeni E. Zolin

Publication date: 13 February 2018

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/c3117f2c2f0cd554a8c7d0fc84b267c6a5fb0bda

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25)

Related Items (4)

Completing the Picture: Complexity of Graded Modal Logics with Converse ⋮ Existential definability of modal frame classes ⋮ Description logic on image graphs ⋮ On transitive modal many-valued logics

This page was built for publication: Undecidability of the transitive graded modal logic with converse