Modal Information Logics: Axiomatizations and Decidability

Knudstorp, SB

Knudstorp, SB (通讯作者),Univ Amsterdam, ILLC & Philosophy, Amsterdam, Netherlands.

JOURNAL OF PHILOSOPHICAL LOGIC, 2023; 52 (6): 1723

Abstract

The present paper studies formal properties of so-called modal information logics (MILs)-modal logics first proposed in (van Benthem 1996) as a way of......

Full Text Link