Synthetic Tableaux and Erotetic Search Scenarios: Extension and Extraction

Logique Et Analyse 44 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

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

Similar books and articles

Erotetic search scenarios.Andrzej Wiśniewski - 2003 - Synthese 134 (3):389 - 427.
Remarks on synthetic tableaux for classical propositional calculus.Mariusz Urbanski - 2001 - Bulletin of the Section of Logic 30 (4):195-204.
Pruning the search space and extracting more models in tableaux.N. Peltier - 1999 - Logic Journal of the IGPL 7 (2):217-251.
The Complexity of Analytic Tableaux.Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart - 2006 - Journal of Symbolic Logic 71 (3):777 - 790.
First-Order Tableaux with Sorts.Christoph Weidenbach - 1995 - Logic Journal of the IGPL 3 (6):887-906.

Analytics

Added to PP
2015-02-06

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

Erotetic Search Scenarios and Three-Valued Logic.Dorota Leszczyńska-Jasion & Paweł Łupkowski - 2016 - Journal of Logic, Language and Information 25 (1):51-76.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references