Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures

In Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 2. CSLI Publications. pp. 265-292 (2000)
Download Edit this record How to cite View on PhilPapers
Abstract
We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.
Categories
(categorize this paper)
ISBN(s)
PhilPapers/Archive ID
GORMLA-2
Revision history
Archival date: 2018-04-20
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2018-02-17

Total views
16 ( #37,074 of 39,037 )

Recent downloads (6 months)
9 ( #31,376 of 39,037 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.