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: 93,031

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

A Resolution-Based Decision Procedure for Extensions of K4.Harald Ganzinger, Ullrich Hustadt, Christoph Meyer & Renate A. Schmidt - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 243-262.
Projective Beth;s Properties in Infinite Slice Extensions of the Modal Logic K4.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 349-363.
Projective Beth;s Properties in Infinite Slice Extensions of the Modal Logic K4.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 349-363.
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.
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.
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.
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.
Refutations, Proofs, and Models in the Modal Logic K4.Tomasz Skura - 2002 - Studia Logica 70 (2):193-204.
Modal Companions of $$K4^{+}$$.Mikhail Svyatlovskiy - 2022 - Studia Logica 110 (5):1327-1347.
Unifiability in extensions of K4.Çiğdem Gencer & Dick de Jongh - 2009 - Logic Journal of the IGPL 17 (2):159-172.

Analytics

Added to PP
2020-02-06

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