A Resolution Method for Quantified Modal Logics of Knowledge and Belief

, &
Journal of Symbolic Logic 53 (2):668 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274556

Links

PhilArchive



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

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

Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Explicit logics of knowledge and conservativity.Melvin Fitting - unknown
Resolution-based methods for modal logics.H. de Nivelle, R. Schmidt & U. Hustadt - 2000 - Logic Journal of the IGPL 8 (3):265-292.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Avoiding Omnidoxasticity in Logics of Belief: A Reply to MacPherson.Kieron O'Hara, Han Reichgelt & Nigel Shadbolt - 1995 - Notre Dame Journal of Formal Logic 36 (3):475-495.
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.
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
Modal Logics and Philosophy.Rod Girle - 2000 - [Durham]: Routledge.
Modal Logics and Philosophy: Second Edition.Rod Girle - 2010 - Mcgill-Queen's University Press.
The γ-admissibility of Relevant Modal Logics II — The Method using Metavaluations.Takahiro Seki - 2011 - Studia Logica 97 (3):351-383.
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
Labelled modal logics: Quantifiers. [REVIEW]David Basin, Seán Matthews & Luca Viganò - 1998 - Journal of Logic, Language and Information 7 (3):237-263.
Modal Logics and Philosophy.Rod Girle - 2000 - [Durham]: Mcgill-Queen's University Press.
The γ-admissibility of Relevant Modal Logics I — The Method of Normal Models.Takahiro Seki - 2011 - Studia Logica 97 (2):199-231.
Labelled resolution for classical and non-classical logics.D. M. Gabbay & U. Reyle - 1997 - Studia Logica 59 (2):179-216.

Analytics

Added to PP
2013-11-03

Downloads
24 (#617,476)

6 months
6 (#417,196)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

William J. Rapaport
State University of New York, Buffalo

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references