Modal trees: correction to a decision procedure for ${\rm S5}$ (and ${\rm T}$)

&
Notre Dame Journal of Formal Logic 28 (3):385-391 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093637558

Links

PhilArchive



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

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

A loop-free decision procedure for modal propositional logics k4, s4 and S.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151 - 177.
Game Trees For Decision Analysis.Prakash P. Shenoy - 1998 - Theory and Decision 44 (2):149-171.
Relational dual tableau decision procedure for modal logic K.Joanna Golińska-Pilarek, Emilio Munoz-Velasco & Angel Mora - 2012 - Logic Journal of the IGPL 20 (4):747-756.
A correction to Von Wright's decision procedure for the deontic system P.David Meredith - 1956 - Mind 65 (260):548-550.
How to reach legitimate decisions when the procedure is controversial.Franz Dietrich - 2005 - Social Choice and Welfare 1 (24):363-393.
A Decision Procedure for Evaluating Natural Language Arguments.Moti Mizrahi - 2012 - APA Newsletter on Teaching Philosophy 12 (1):11-12.
On the redress of grievances.J. M. Alexander - 2013 - Analysis 73 (2):228-230.
Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
Feature Selection for a Rich HPSG Grammar Using Decision Trees.Christopher D. Manning & Kristina Toutanova - unknown
Response Bias Correction in the Process Dissociation Procedure: A Reevaluation?Eyal Reingold - 1995 - Consciousness and Cognition 5 (4):595-603.
A matrix decision procedure for three modal logics.Adrian Larner - 1979 - Notre Dame Journal of Formal Logic 20 (3):599-602.
Semantic trees for Dummett's logic LC.Giovanna Corsi - 1986 - Studia Logica 45 (2):199-206.
Modal trees: Rod Girle: Modal logics and philosophy, Second edition, Durham, Acumen, 2009, pp. viii+248, £19.99 PB.Yannis Stephanou - 2010 - Metascience 20 (2):385-388.
A tableau decision algorithm for modalized ALC with constant domains.Carsten Lutz, Holger Sturm, Frank Wolter & Michael Zakharyaschev - 2002 - Studia Logica 72 (2):199-232.

Analytics

Added to PP
2010-08-24

Downloads
8 (#1,243,760)

6 months
2 (#1,136,865)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Alfredo Burrieza
Juan Leon
Universidad Nacional Mayor de San Marcos

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references