Completeness of some quantified modal logics

Logique Et Analyse 21 (82):153 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Combinations and completeness transfer for quantified modal logics.Gerhard Schurz - 2011 - Logic Journal of the IGPL 19 (4):598-616.
Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Labelled modal logics: Quantifiers. [REVIEW]David Basin, Seán Matthews & Luca Viganò - 1998 - Journal of Logic, Language and Information 7 (3):237-263.
Some kinds of modal completeness.J. F. A. K. van Benthem - 1980 - Studia Logica 39 (2):125-141.
Some kinds of modal completeness.J. F. A. K. Benthem - 1980 - Studia Logica 39 (2-3):125 - 141.
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
A Systematic Presentation Of Quantified Modal Logics.Claudio Castellini & Alan Smaill - 2002 - Logic Journal of the IGPL 10 (6):571-599.
On the completeness of first degree weakly aggregative modal logics.Peter Apostoli - 1997 - Journal of Philosophical Logic 26 (2):169-180.
Repairing the interpolation theorem in quantified modal logic.Carlos Areces, Patrick Blackburn & Maarten Marx - 2003 - Annals of Pure and Applied Logic 124 (1-3):287-299.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

James W. Garson
University of Houston

Citations of this work

Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.
Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):491-499.

Add more citations

References found in this work

No references found.

Add more references