A Topography of Labelled Modal Logics

• 1 January 1996
• book chapter
• Published by Springer Nature
• p. 75-92
• https://doi.org/10.1007/978-94-009-0349-4_3

Abstract

Keywords

• LABELLING
• ALGEBRA
• MODULAR
• MODAL LOGICS
• DEDUCTIVE
• STRUCTURED
• BASE LOGIC
• LOGICS LABELLED