default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th TABLEAUX 2011: Bern, Switzerland
- Kai Brünnler, George Metcalfe:
Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings. Lecture Notes in Computer Science 6793, Springer 2011, ISBN 978-3-642-22118-7 - Maria Paola Bonacina, Moa Johansson:
On Interpolation in Decision Procedures. 1-16 - Ulrich Furbach:
First-Order Tableaux in Applications (Extended Abstract). 17-19 - Kazushige Terui:
Proof Theory and Algebra in Substructural Logics. 20 - Régis Alenda, Nicola Olivetti:
CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces. 21-26 - Vincent Aravantinos, Nicolas Peltier:
Schemata of SMT-Problems. 27-42 - Arnon Avron, Ori Lahav:
Kripke Semantics for Basic Sequent Systems. 43-57 - Laura Bozzelli, Ruggero Lanotte
:
Hybrid and First-Order Complete Extensions of CaRet. 58-72 - Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco:
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. 73-87 - James Brotherston, Rajeev Goré:
Craig Interpolation in Displayable Logics. 88-103 - Serenella Cerrito, Marta Cialdea Mayer:
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders. 104-118 - Agata Ciabattoni, Ori Lahav, Anna Zamansky:
Basic Constructive Connectives, Determinism and Matrix-Based Semantics. 119-133 - Anupam Das:
On the Proof Complexity of Cut-Free Bounded Deep Inference. 134-148 - Oliver Friedmann, Martin Lange:
The Modal μ-Calculus Caught Off Guard. 149-163 - Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
A Conditional Constructive Logic for Access Control and Its Sequent Calculus. 164-179 - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Tableau Calculus for a Nonmonotonic Extension of EL^\mathcal{EL}^\bot. 180-195 - Mark Kaminski, Thomas Schneider, Gert Smolka:
Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics. 196-210 - Björn Lellmann, Dirk Pattinson:
Cut Elimination for Shallow Modal Logics. 211-225 - Jens Otten:
A Non-clausal Connection Calculus. 226-241 - Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi:
METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine. 242-247 - Alwen Tiu:
A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains. 248-262 - Josef Urban, Jirí Vyskocil, Petr Stepánek:
MaLeCoP Machine Learning Connection Prover. 263-277
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-23 23:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
