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.

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
266 (#44,214)

6 months
20 (#50,754)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Valentin Goranko
Stockholm University

Citations of this work

Putting Right the Wording and the Proof of the Truth Lemma for APAL.Philippe Balbiani - 2015 - Journal of Applied Non-Classical Logics 25 (1):2-19.
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 2005 - In Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 5. Kings College London Publ.. pp. 17-51.
Local Properties in Modal Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2012 - Artificial Intelligence 187-188 (C):133-155.
PDL with Intersection of Programs: A Complete Axiomatization.Philippe Balbiani & Dimiter Vakarelov - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):231-276.
Notes on Logics of Metric Spaces.Oliver Kutz - 2007 - Studia Logica 85 (1):75-104.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references