Axiomatizations with context rules of inference in modal logic

Studia Logica 61 (2):179-197 (1998)
Download Edit this record How to cite View on PhilPapers
Abstract
A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.
Categories
(categorize this paper)
Reprint years
2004
PhilPapers/Archive ID
GORAWC
Upload history
Archival date: 2018-04-20
View other versions
Added to PP index
2009-01-28

Total views
142 ( #27,855 of 51,428 )

Recent downloads (6 months)
34 ( #17,036 of 51,428 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.