Highway to the Danger Zone
- 1 February 1995
- journal article
- Published by Oxford University Press (OUP) in Journal of Logic and Computation
- Vol. 5 (1) , 93-109
- https://doi.org/10.1093/logcom/5.1.93
Abstract
This paper shows that: (i)there are quite simple methods for obtaining undecidability results in modal logics with more than one operator; and (ii) there are standard methods of simulating polymodal logics by monomodal logics which allow us to transfer the undecidability results of (i) to monomodal logics.Keywords
This publication has 0 references indexed in Scilit: