A simple propositional S5 tableau system

Annals of Pure and Applied Logic 96 (1-3):107-115 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

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

Through your library

Analytics

Added to PP
2010-12-22

Downloads
92 (#171,146)

6 months
6 (#202,901)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
Realizations and LP.Melvin Fitting - 2010 - Annals of Pure and Applied Logic 161 (3):368-387.

View all 6 citations / Add more citations

References found in this work

Failures of the interpolation lemma in quantified modal logic.Kit Fine - 1979 - Journal of Symbolic Logic 44 (2):201-206.

Add more references