Tableau reductions: Towards an optimal decision procedure for the modal necessity

Journal of Applied Logic 17:14-24 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,873

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Implementing a relational theorem prover for modal logic K.Angel Mora, Emilio Munoz Velasco & Joanna Golińska-Pilarek - 2011 - International Journal of Computer Mathematics 88 (9):1869-1884.
Decision procedures for some strong hybrid logics.Andrzej Indrzejczak & Michał Zawidzki - 2013 - Logic and Logical Philosophy 22 (4):389-409.
Terminating tableau systems for hybrid logic with difference and converse.Mark Kaminski & Gert Smolka - 2009 - Journal of Logic, Language and Information 18 (4):437-464.

Analytics

Added to PP
2016-06-30

Downloads
26 (#627,957)

6 months
8 (#411,508)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Joanna Golinska-Pilarek
University of Warsaw
Emilio Muñoz-Velasco
Universidad de Málaga

Citations of this work

No citations found.

Add more citations