Improved Decision Procedures for Lewis's Calculus S4 and von Wright's Calculus M

Journal of Symbolic Logic 20 (3):302-303 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268272

Links

PhilArchive



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

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

Improved decision procedures for Lewis's calculus s4 and Von Wright's calculus M.Alan Ross Anderson - 1954 - Journal of Symbolic Logic 19 (3):201-214.
Anderson Alan Ross. Improved decision procedures for Lewis's calculus S4 and von Wright's calculus M. [REVIEW]Naoto Yonemitsu - 1955 - Journal of Symbolic Logic 20 (3):302-303.
Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus. [REVIEW]J. G. Anderson - 1973 - Journal of Symbolic Logic 38 (2):331-332.
Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi.Andréa Loparić - 2010 - Principia: An International Journal of Epistemology 14 (1):125-33.
On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus.V. A. Jankov - 1973 - Journal of Symbolic Logic 38 (2):331-332.
λμ-calculus and Böhm's theorem.René David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Refinement Calculus: A Systematic Introduction.Ralph-Johan Back & Joakim Wright - 1998 - Springer.
An Axiomatisation of a Pure Calculus of Names.Piotr Kulicki - 2012 - Studia Logica 100 (5):921-946.
$lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
A tableau calculus with automaton-labelled formulae for regular grammar logics.Rajeev Gore - unknown
Decision procedures for some strong hybrid logics.Andrzej Indrzejczak & Michał Zawidzki - 2013 - Logic and Logical Philosophy 22 (4):389-409.
The λμT-calculus.Herman Geuvers, Robbert Krebbers & James McKinna - 2013 - Annals of Pure and Applied Logic 164 (6):676-701.
Strong Reduction of Combinatory Calculus with Streams.Koji Nakazawa & Hiroto Naya - 2015 - Studia Logica 103 (2):375-387.
Review: Soren Hallden, On the Decision-Problem of Lewis' Calculus S5. [REVIEW]J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (3):224-224.

Analytics

Added to PP
2017-02-21

Downloads
18 (#785,610)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references