Axiomatizations with context rules of inference in modal logic

Studia Logica 61 (2):179-197 (1998)
  Copy   BIBTEX

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.

Author's Profile

Valentin Goranko
Stockholm University

Analytics

Added to PP
2009-01-28

Downloads
453 (#35,765)

6 months
134 (#23,855)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?