Axiomatizations with context rules of inference in modal logic

Studia Logica 61 (2):179-197 (1998)
Valentin Goranko
Stockholm University
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.
Keywords modal logic  inference rules  axiomatizations  completeness
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1005021313747
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Notes on Logics of Metric Spaces.Oliver Kutz - 2007 - Studia Logica 85 (1):75-104.
Dynamic Extensions of Arrow Logic.Philippe Balbiani & Dimiter Vakarelov - 2004 - Annals of Pure and Applied Logic 127 (1-3):1-15.
PDL with Intersection of Programs: A Complete Axiomatization.Philippe Balbiani & Dimiter Vakarelov - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):231-276.
Putting Right the Wording and the Proof of the Truth Lemma forAPAL.Philippe Balbiani - 2015 - Journal of Applied Non-Classical Logics 25 (1):2-19.

Add more citations

Similar books and articles


Added to PP index

Total downloads
48 ( #136,939 of 2,303,698 )

Recent downloads (6 months)
10 ( #53,463 of 2,303,698 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature