On the axiomatization of finite K-frames

DOI10.1007/BF01371627zbMath0556.03017MaRDI QIDQ761445

Massimo Mirolli, Fabio Bellissima

Publication date: 1983

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

modal logicfinite frameaxiomatization of framesaxiomatization of models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

The Modality of Finite (Graded Modalities VII)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the axiomatization of finite K-frames