The Bimodal Logic of Commuting Difference Operators Is DecidableDownload PDF

Christopher Hampson

2018 (modified: 03 Nov 2022)Advances in Modal Logic 2018Readers: Everyone
0 Replies