A labelled tableau
calculus for nonmonotonic (cumulative) consequence relations |
*Alberto Artosi, Guido Governatori
and Antonino Rotolo* |

A tableau system
for Gödel-Dummett logic based on a hypersequent calculus |
*Arnon Avron* |

An analytic calculus
for quantified propositional Gödel logic |
*Matthias Baaz, Christian Fermüller
and Helmut Veith* |

A tableau method
for inconsistency-adaptive logics |
*Diderik Batens and Joke Meheus* |

A tableau calculus
for integrating first-order reasoning with elementary set theory
reasoning |
*Domenico Cantone and Calogero
G. Zarba* |

Hypertableau and
path-hypertableau calculi for some families of intermediate logics |
*Agata Ciabattoni and Mauro Ferrari* |

Variants of first-order
modal logics |
*Marta Cialdea Mayer and Serenella
Cerrito* |

Complexity of
simple dependent bimodal logics |
*Stéphane Demri* |

Properties of
Embeddings from **Int **to **S4** |
*Uwe Egly* |

Term-modal logics |
*Melvin Fitting, Lars Thalmann
and Andrei Voronkov* |

A subset-matching
size-bounded cache for satisfiability in modal logics |
*Enrico Giunchiglia and Armando
Tacchella* |

Dual intuitionistic
logic revisited |
*Rajeev Goré* |

Model sets in
a nonconstructive logic of partial terms with definite descriptions |
*Ray Gumb* |

Search space compression
in connection tableau calculi using disjunctive constraints |
*Ortrun Ibens* |

Matrix-based inductive
theorem proving |
*Christoph Kreitz and Brigitte
Pientka* |

Monotonic preorders
for free variable tableaux |
*Pedro J. Martín and Antonio
Gavilanes* |

The mosaic method
for temporal logics |
*Maarten Marx, Szabolcs Mikulás
and Mark Reynolds* |

Sequent-like tableau
systems with the analytic superformula property for the modal
logics KB, KDB, K5, KD5 |
*Linh Anh Nguyen* |

A tableau calculus for equilibrium
entailment |
*David Pearce, Inmaculada P. de Guzmán
and Agustín Valverde* |

Towards tableau-based decision
procedures for non-well-founded fragments of set theory |
*Carla Piazza and Alberto Policriti* |

Tableau calculus
for only knowing and knowing at most |
*Riccardo Rosati* |

A tableau-like
representation framework for efficient proof reconstruction |
*Stephan Schmitt* |

The semantic tableaux
version of the second incompleteness theorem extends almost to
Robinson's arithmetic **Q** |
*Dan Willard* |