Making Theorem-Proving in Modal Logic Easy

In Lars-Göran Johansson, Jan Österberg & Rysiek Śliwiński (eds.), Logic, Ethics and All That Jazz: Essays in Honour of Jordan Howard Sobel. Uppsala, Sverige: pp. 187-202 (2009)
  Copy   BIBTEX

Abstract

A system for the modal logic K furnishes a simple mechanical process for proving theorems.

Links

PhilArchive

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

Similar books and articles

Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
Amalgamation Theorems in Algebraic Logic, an overview.Tarek Sayed-Ahmed - 2005 - Logic Journal of the IGPL 13 (3):277-286.
Effective completeness theorems for modal logic.Suman Ganguli & Anil Nerode - 2004 - Annals of Pure and Applied Logic 128 (1-3):141-195.
Regression in Modal Logic.Robert Demolombe, Andreas Herzig & Ivan Varzinczak - 2003 - Journal of Applied Non-Classical Logics 13 (2):165-185.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
A new modal lindström theorem.Johan van Benthem - 2007 - Logica Universalis 1 (1):125-138.

Analytics

Added to PP
2018-06-11

Downloads
185 (#98,409)

6 months
86 (#43,404)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Paul Needham
Stockholm University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references