Rough Consequence and other Modal Logics

Authors

  • Martin Bunder University of Wollongong

DOI:

https://doi.org/10.26686/ajl.v12i1.2194

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.

Downloads

Download data is not yet available.

Downloads

Published

2015-01-04