Making Theorem-Proving in Modal Logic Easy

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

Abstract

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

Categories

Keywords

Reprint years

Other Versions

No versions found

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

My notes

Similar books and articles

Logic, Ethics and all that Jazz: Essays in Honour of Jordan Howard Sobel.Lars-Göran Johansson, Jan Österberg & Ryszard Sliwinski (eds.) - 2009
Logic, Ethics, and All That Jazz - Essays in Honour of Jordan Howard Sobel.Johansson Lars-Göran (ed.) - 2009
Logic, Ethics and All That Jazz: Essays in Honour of Jordan Howard Sobel.Lars-Göran Johansson, Jan Österberg & Rysiek Śliwiński (eds.) - 2009 - Uppsala: Dept. Of Philosophy, Uppsala University.
Propensities.Lars-Göran Johansson - 2009 - 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: Dept. Of Philosophy, Uppsala University.
Theism, fideism, atheism, agnosticism.Jan Woleński - 2009 - 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: Dept. Of Philosophy, Uppsala University. pp. 387--400.
Beliefs, desires and minimal rationality.D. Vanderveken - 2009 - L.-G. Johansson Et Al. Logic, Ethics and All That Jazz, Essays in Honour of Jordan Howard Sobel. Uppsala Philosophical Studies 57.
Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Paranormal modal logic–Part I: The system K? and the foundations of the Logic of skeptical and credulous plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.
Effective completeness theorems for modal logic.Suman Ganguli & Anil Nerode - 2004 - Annals of Pure and Applied Logic 128 (1-3):141-195.

Analytics

Added to PP
2018-06-11

Downloads
361 (#82,331)

6 months
75 (#83,144)

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

A simple treatment of truth functions.Alan Ross Anderson & Nuel D. Belnap - 1959 - Journal of Symbolic Logic 24 (4):301-302.

Add more references