A Resolution-Based Decision Procedure for Extensions of K4

, , &
In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 243-262 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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

Resolution-based methods for modal logics.H. de Nivelle, R. Schmidt & U. Hustadt - 2000 - Logic Journal of the IGPL 8 (3):265-292.
Resolution is a Decision Procedure for Many Propositional Modal Logics.Renate A. Schmidt - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 189-208.
How to reach legitimate decisions when the procedure is controversial.Franz Dietrich - 2005 - Social Choice and Welfare 1 (24):363-393.
Review: Bruce Kallick, A Decision Procedure Based on the Resolution Method. [REVIEW]Joyce Friedman - 1973 - Journal of Symbolic Logic 38 (4):656-656.
Unifiability in extensions of K4.Çiğdem Gencer & Dick de Jongh - 2009 - Logic Journal of the IGPL 17 (2):159-172.
Initiation and conduct of administrative procedure.Milan Stipic - 2013 - Fip: Journal of Finance and Law 1 (1):65-85.
Applying the Benchmarking Procedure: A Decision Criterion of Choice Under Risk. [REVIEW]Francesca Beccacece & Alessandra Cillo - 2006 - Theory and Decision 61 (1):75-91.
A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151-177.
Finite and Rational Tree Constraints.Torbjorn Keisu - 1994 - Logic Journal of the IGPL 2 (2):167-204.
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.
Gentzen-type systems for C, K and several extensions of C and K; constructive completeness proofs and effective decision procedure for these systems.H. C. M. de Swart - 1980 - Logique Et Analyse 90 (91):263-284.
Propositional temporal logics: decidability and completeness.O. Lichtenstein & A. Pneuli - 2000 - Logic Journal of the IGPL 8 (1):55-85.
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.
Kallick Bruce. A decision procedure based on the resolution method. Information processing 68, Proceedings of IFIP Congress 1968, organized by the International Federation for Information Processing, Edinburgh, 5–10 August 1968, Volume 1, Mathematics, Software, edited by Morrell A. J. H., North-Holland Publishing Company, Amsterdam 1969, pp. 269–275. [REVIEW]Joyce Friedman - 1973 - Journal of Symbolic Logic 38 (4):656-656.

Analytics

Added to PP
2018-02-17

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?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references