HyLoTab — Tableau-based Theorem Proving for Hybrid Logics

Abstract

This paper contains the full code of a prototype implementation in Haskell [5], in ‘literate programming’ style [6], of the tableau-based calculus and proof procedure for hybrid logic presented in [4].

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

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

  • Only published works are available at libraries.

Similar books and articles

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.
A simple propositional S5 tableau system.Melvin Fitting - 1999 - Annals of Pure and Applied Logic 96 (1-3):107-115.

Analytics

Added to PP
2010-12-22

Downloads
27 (#506,730)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Van Eijck
University of Amsterdam

Citations of this work

Add more citations

References found in this work

Add more references