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)
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
View upload history
References found in this work BETA
Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
Varieties of Complex Algebras.Goldblatt, Robert
The Modal Logic of Inequality.de Rijke, Maarten
An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames.Gabbay, Dov M.
View all 9 references / Add more references
Citations of this work BETA
No citations found.
Added to PP index
2018-02-17
Total views
42 ( #43,915 of 50,121 )
Recent downloads (6 months)
3 ( #50,043 of 50,121 )
2018-02-17
Total views
42 ( #43,915 of 50,121 )
Recent downloads (6 months)
3 ( #50,043 of 50,121 )
How can I increase my downloads?
Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.
