Highway to the Danger Zone

DOI10.1093/LOGCOM/5.1.93zbMath0818.03009OpenAlexW2113030260MaRDI QIDQ4323004

Marcus Kracht

Publication date: 10 August 1995

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

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

zbMATH Keywords

undecidabilitypolymodal logicsmonomodal logicsmodal logics with more than one operatorThue-process

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Undecidability and degrees of sets of sentences (03D35)

Related Items (2)

A set-theoretic translation method for polymodal logics ⋮ Interactions between knowledge, action and commitment within agent dynamic logic

This page was built for publication: Highway to the Danger Zone