A Mechanized Decision Procedure For Non-classical Logics:: The program KRIPKE

, &
Bulletin of the Section of Logic 9 (4):180-191 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,859

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

Decision procedure of some relevant logics: a constructive perspective.Jacques Riche - 2005 - Journal of Applied Non-Classical Logics 15 (1):9-23.
Proving unprovability in some normal modal logics.Valentin Goranko - 1991 - Bulletin of the Section of Logic 20 (1):23-29.
Kripke semantics for logics with BCK implication.Wendy MacCaull - 1996 - Bulletin of the Section of Logic 25:41-51.
Kripke completeness of predicate extensions of cofinal subframe logics.Tatsuya Shimura - 2001 - Bulletin of the Section of Logic 30 (2):107-114.
Simplified Kripke style semantics for modal logics K45, KB4 and KD45.Andrzej Pietruszczak - 2009 - Bulletin of the Section of Logic 38 (3/4):163-171.
Intuitionistic implication in some non-classical modal logics of type s4.Josep M. Font - 1983 - Bulletin of the Section of Logic 12 (1):2-5.
On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames.Zofia Kostrzycka - 2015 - Bulletin of the Section of Logic 44 (3/4):111-130.
A remark on the delta operation and the Kripke sheaf semantics in super-intuitionistic predicate logics'.N. Y. Suzuki - 1996 - Bulletin of the Section of Logic 25 (1):21-28.
Deduction chains and dc-like decision procedure for guarded logic.Andrei Kouznetsov - 2004 - Bulletin of the Section of Logic 33 (1):53-65.
Gentzen systems and decision procedures for relevant logics.Steve Giambrone - 1982 - Bulletin of the Section of Logic 11 (3/4):169-174.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Michael A. McRobbie
Indiana University, Bloomington

Citations of this work

Idealist Origins: 1920s and Before.Martin Davies & Stein Helgeby - 2014 - In Graham Oppy & Nick Trakakis, History of Philosophy in Australia and New Zealand. Dordrecht: Springer. pp. 15-54.

Add more citations

References found in this work

No references found.

Add more references