Table et tableau

Res Publica (Misc) 11 (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,610

External links

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

The Yoga sūtra of Patañjali: a scientific exposition with original Sanskrit text.Shilaja Nagendra - 1996 - Delhi: Published by Clarion Books associated with Hind Pocket Books. Edited by Vinoda Verma.
Model Generation from Constrained Free Variable.Jan van Eijck - unknown
Gts and interrogative tableaux.Stephen Harris - 1994 - Synthese 99 (3):329 - 343.
Montage and Tableau in King Vidor's Stella Dallas.Richard Smith - 2014 - Film-Philosophy 18 (1):70-91.
Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets.Tomasz Jarmużek - 2007 - Logic and Logical Philosophy 16 (1):85-101.
Intentionalism and the Argument from No Common Content.Michael Tye - 2007 - Philosophical Perspectives 21 (1):589-613.
Connection tableau calculi with disjunctive constraints.Ortrun Ibens - 2002 - Studia Logica 70 (2):241 - 270.
Dyadic deontic logic and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (3-4):221-252.
A tableau calculus with automaton-labelled formulae for regular grammar logics.Rajeev Gore - unknown
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.
A sound and complete tableau calculus for reasoning about only knowing and knowing at most.Riccardo Rosati - 2001 - Studia Logica 69 (1):171-191.
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.
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.

Analytics

Added to PP
2014-04-05

Downloads
2 (#1,800,073)

6 months
1 (#1,469,469)

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