An on-the-fly tableau-based decision procedure for PDL

Author unknown

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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.

My notes

Similar books and articles

Simultaneous rigid sorted unification for tableaux.P. J. Martín & A. Gavilanes - 2002 - Studia Logica 72 (1):31-59.
HyLoTab — Tableau-based Theorem Proving for Hybrid Logics.Jan van Eijck - unknown
Eliminating “converse” from converse PDL.Giuseppe Giacomo - 1996 - Journal of Logic, Language and Information 5 (2):193-208.
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.
How to reach legitimate decisions when the procedure is controversial.Franz Dietrich - 2005 - Social Choice and Welfare 1 (24):363-393.
Tableaux for łukasiewicz infinite-valued logic.Nicola Olivetti - 2003 - Studia Logica 73 (1):81 - 111.
A tableau calculus with automaton-labelled formulae for regular grammar logics.Rajeev Gore - unknown
Model Generation from Constrained Free Variable.Jan van Eijck - unknown
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.
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
2009-01-28

Downloads
22 (#650,553)

6 months
2 (#1,015,942)

Historical graph of downloads
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