Algebraic semantics for modal and superintuitionistic non-monotonic logics

&
Journal of Applied Non-Classical Logics 23 (1-2):147-158 (2013)
  Copy   BIBTEX

Abstract

The paper provides a preliminary study of algebraic semantics for modal and superintuitionistic non-monotonic logics. The main question answered is: how can non-monotonic inference be understood algebraically?

Categories

Keywords

Reprint years

DOI

10.1080/11663081.2013.798961

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Superintuitionistic companions of classical modal logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.
On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
Maximal Kripke-type semantics for modal and superintuitionistic predicate logics.D. P. Skvortsov & V. B. Shehtman - 1993 - Annals of Pure and Applied Logic 63 (1):69-101.
An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1149-1174.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
An abstract algebraic logic approach to tetravalent modal logics.Josep Maria Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.
Kripke bundle semantics and c-set semantics.Eiko Isoda - 1997 - Studia Logica 58 (3):395-401.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
BK-lattices. Algebraic Semantics for Belnapian Modal Logics.Sergei P. Odintsov & E. I. Latkin - 2012 - Studia Logica 100 (1-2):319-338.
The contribution of A.V. Kuznetsov to the theory of modal systems and structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
Algebraic Kripke sheaf semantics for non-classical predicate logics.Nobu-Yuki Suzuki - 1999 - Studia Logica 63 (3):387-416.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.

Analytics

Added to PP
2013-12-01

Downloads
32 (#487,332)

6 months
10 (#251,846)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.

View all 18 references / Add more references