A Unified Completeness Theorem For Quantified Modal Logics

Journal of Symbolic Logic 67 (4):1483-1510 (2002)
  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,709

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.
Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.
A Sahlqvist Theorem for Relevant Modal Logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.
A Sahlqvist theorem for relevant modal logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.
Labelled modal logics: Quantifiers. [REVIEW]David Basin, Seán Matthews & Luca Viganò - 1998 - Journal of Logic, Language and Information 7 (3):237-263.
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.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
Combinations and completeness transfer for quantified modal logics.Gerhard Schurz - 2011 - Logic Journal of the IGPL 19 (4):598-616.
Fibring Modal First-Order Logics: Completeness Preservation.Amilcar Sernadas, Cristina Sernadas & Alberto Zanardo - 2002 - Logic Journal of the IGPL 10 (4):413-451.
Completeness theorem for Dummett's LC quantified and some of its extensions.Giovanna Corsi - 1992 - Studia Logica 51 (2):317 - 335.
Constant Domain Quantified Modal Logics Without Boolean Negation.Greg Restall - 2005 - Australasian Journal of Logic 3:45-62.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.

Analytics

Added to PP
2017-02-21

Downloads
3 (#1,708,048)

6 months
1 (#1,462,504)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giovanna Corsi
Università degli Studi di Bologna

Citations of this work

First-order classical modal logic.Horacio Arló-Costa & Eric Pacuit - 2006 - Studia Logica 84 (2):171 - 210.
Unifying Quantified Modal Logic.James W. Garson - 2005 - Journal of Philosophical Logic 34 (5-6):621-649.
Quantification in Some Non-normal Modal Logics.Erica Calardo & Antonino Rotolo - 2017 - Journal of Philosophical Logic 46 (5):541-576.
Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references