Automorphisms of the Lattice of Classical Modal Logics

被引：0

作者：

Soncodi, Adrian

机构：

[1] Plano, TX

来源：

STUDIA LOGICA | 2016年 / 104卷 / 02期

关键词：

Modal logic; Classical systems; Lattice automorphisms; Uniform replacements;

D O I：

10.1007/s11225-015-9638-8

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In this paper we analyze the propositional extensions of the minimal classical modal logic system E, which form a lattice denoted as CExtE. Our method of analysis uses algebraic calculations with canonical forms, which are a generalization of the normal forms applicable to normal modal logics. As an application, we identify a group of automorphisms of CExtE that is isomorphic to the symmetric group S-4.

引用

页码：249 / 276

页数：28

共 9 条

[1]

[Anonymous], 1996, A New Introduction to Modal Logic

[2]

[Anonymous], 2002, Cambridge Tracts in Theoretical Computer Science

[3]

Chagrov A., 1997, Modal Logic

[4]

CHAGROV A, 2001, HDB PHILOS LOGIC, V3

[5]

Chellas B. F., 1980, Modal Logic: An Introduction

[6]

FINE K., 1975, NOTRE DAME J FORMAL, VXVI

[7] Lattices of modal logics and their groups of automorphisms [J].

Kracht, M .

ANNALS OF PURE AND APPLIED LOGIC, 1999, 100 (1-3) :99-139

[8] Finite models constructed from canonical formulas [J].

Moss, Lawrence S. .

JOURNAL OF PHILOSOPHICAL LOGIC, 2007, 36 (06) :605-640

[9]

SONCODI A., 2015, CHARACTERIZATION NON

← 1 →