Inclusions Between Pseudo-euclidean Modal Logics

• Authors: Yasusi Hasimoto , Akio Maruyama
• Languages of publication: PL

Abstracts

PL

We describe properties of simply axiomatized modal logics, which are called pseudo-Euclidean modal logics. We will then give a complete description of the inclusion relationship among these logics by showing inclusion relationships for pairs of their logics with fixed m and n.

Keywords

PL

 

• Publisher: [unknown2]
• Journal: Reports on Mathematical Logic
• Year: 2011
• Volume: 46

Dates

published

2011

online

07 - 07 - 2015

Contributors

author

Yasusi Hasimoto

author

Akio Maruyama