Rough Consequence and other Modal Logics

  • Martin Bunder University of Wollongong

Abstract

Chakraborty and Banerjee have introduced a rough consequence logic based on the modal logic S5. This paper shows that rough consequence logics, with many of the same properties, can be based on modal logics as weak as K, with a simpler formulation than that of Chakraborty and Banerjee. Also provided are decision procedures for the rough consequence logics and equivalences and independence relations between various systems S and the rough consequence logics, based on them. It also shows that each logic, based on such an S, is theorem equivalent, but not necessarily equivalent, to the modal logic M-S. The paper also shows that rough consequence logic, which was designed to handle rough equality, is somewhat limited for that purpose.
Published
2015-01-04
How to Cite
BUNDER, Martin. Rough Consequence and other Modal Logics. The Australasian Journal of Logic, [S.l.], v. 12, n. 1, jan. 2015. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/2194>. Date accessed: 18 july 2019. doi: https://doi.org/10.26686/ajl.v12i1.2194.