9. TABLEAUX 2000:
St Andrews,
Scotland,
UK
Roy Dyckhoff (Ed.):
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings.
Lecture Notes in Computer Science 1847 Springer 2000, ISBN 3-540-67697-X BibTeX
@proceedings{DBLP:conf/tableaux/2000,
editor = {Roy Dyckhoff},
title = {Automated Reasoning with Analytic Tableaux and Related Methods,
International Conference, TABLEAUX 2000, St Andrews, Scotland,
UK, July 3-7, 2000, Proceedings},
booktitle = {TABLEAUX},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1847},
year = {2000},
isbn = {3-540-67697-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Lectures
Comparison
Research Papers
- Alberto Artosi, Guido Governatori, Antonino Rotolo:
A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations.
82-97 BibTeX
- Arnon Avron:
A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus.
98-111 BibTeX
- Matthias Baaz, Christian G. Fermüller, Helmut Veith:
An Analytic Calculus for Quantified Propositional Gödel Logic.
112-126 BibTeX
- Diderik Batens, Joke Meheus:
A Tableau Method for Inconsistency-Adaptive Logics.
127-142 BibTeX
- Domenico Cantone, Calogero G. Zarba:
A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning.
143-159 BibTeX
- Agata Ciabattoni, Mauro Ferrari:
Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics.
160-174 BibTeX
- Marta Cialdea Mayer, Serenella Cerrito:
Variants of First-Order Modal Logics.
175-189 BibTeX
- Stéphane Demri:
Complexity of Simple Dependent Bimodal Logics.
190-204 BibTeX
- Uwe Egly:
Properties of Embeddings from Int to S4.
205-219 BibTeX
- Melvin Fitting, Lars Thalmann, Andrei Voronkov:
Term-Modal Logics.
220-236 BibTeX
- Enrico Giunchiglia, Armando Tacchella:
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics.
237-251 BibTeX
- Rajeev Goré:
Dual Intuitionistic Logic Revisited.
252-267 BibTeX
- Raymond D. Gumb:
Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions.
268-278 BibTeX
- Ortrun Ibens:
Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints.
279-293 BibTeX
- Christoph Kreitz, Brigitte Pientka:
Matrix-Based Inductive Theorem Proving.
294-308 BibTeX
- Pedro J. Martín, Antonio Gavilanes:
Monotonic Preorders for Free Variable Tableaux.
309-323 BibTeX
- Maarten Marx, Szabolcs Mikulás, Mark Reynolds:
The Mosaic Method for Temporal Logics.
324-340 BibTeX
- Linh Anh Nguyen:
Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5.
341-351 BibTeX
- David Pearce, Inman P. de Guzmán, Agustín Valverde:
A Tableau Calculus for Equilibrium Entailment.
352-367 BibTeX
- Carla Piazza, Alberto Policriti:
Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory.
368-382 BibTeX
- Riccardo Rosati:
Tableau Calculus for Only Knowing and Knowing at Most.
383-397 BibTeX
- Stephan Schmitt:
A Tableau-Like Representation Framework for Efficient Proof Reconstruction.
398-414 BibTeX
- Dan E. Willard:
The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson's Arithmetic Q.
415-430 BibTeX
System Descriptions
Copyright © Sat May 16 23:43:24 2009
by Michael Ley (ley@uni-trier.de)
