Some Results on Rewritability in Modal Logics over Tree Models

Studies in Logic, Vol. 13, No. 3 (2020): 32–61         PII: 1674-3202(2020)-03-0032-30
Shanshan Du

Abstract. We have investigated locally equivalent and m-conservative rewritabilities in modal logics over tree models. The modal languages studied in this paper are ML, MLI, MLG and MLGI.