A tableau calculus for DRT

&
Logique Et Analyse 31 (23):379-402 (1988)
  Copy   BIBTEX

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,853

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 tableau calculus with automaton-labelled formulae for regular grammar logics.Rajeev Gore - unknown
A sound and complete tableau calculus for reasoning about only knowing and knowing at most.Riccardo Rosati - 2001 - Studia Logica 69 (1):171-191.
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
Decision procedures for some strong hybrid logics.Andrzej Indrzejczak & Michał Zawidzki - 2013 - Logic and Logical Philosophy 22 (4):389-409.
The relative complexity of analytic tableaux and SL-resolution.André Vellino - 1993 - Studia Logica 52 (2):323 - 337.
Cut-free single-pass tableaux for the logic of common knowledge.Rajeev Gore - unknown
A tableau calculus for partial functions.Manfred Kerber Michael Kohlhase - unknown
Cut-free tableau calculi for some propositional normal modal logics.Martin Amerbauer - 1996 - Studia Logica 57 (2-3):359 - 372.
Model Generation from Constrained Free Variable.Jan van Eijck - unknown
Best-Path Theorem Proving: Compiling Derivations.Martin Frické Frické - 2012 - In James Maclaurin (ed.), Rationis Defensor.
Constrained Hyper Tableaux.Jan van Eijck - unknown
Gts and interrogative tableaux.Stephen Harris - 1994 - Synthese 99 (3):329 - 343.
A reasoning method for a paraconsistent logic.Arthur Buchsbaum & Tarcisio Pequeno - 1993 - Studia Logica 52 (2):281 - 289.
Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.

Analytics

Added to PP
2014-01-24

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

A calculus for first order discourse representation structures.Hans Kamp & Uwe Reyle - 1996 - Journal of Logic, Language and Information 5 (3-4):297-348.

Add more citations

References found in this work

No references found.

Add more references