default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th TABLEAUX 2015: Wrocław, Poland
- Hans de Nivelle:
Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings. Lecture Notes in Computer Science 9323, Springer 2015, ISBN 978-3-319-24311-5
Tableaux Calculi
- Roy Dyckhoff:
Invited Talk: Coherentisation of First-Order Logic. 3-5 - Valentin Cassano, Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum:
A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. 6-21 - John Christopher McCabe-Dansted, Mark Reynolds
:
A Tableau for Bundled Strategies. 22-37 - Renate A. Schmidt, Uwe Waldmann:
Modal Tableau Systems with Blocking and Congruence Closure. 38-53 - Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure:
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method. 54-69 - Peter Backeman, Philipp Rümmer:
Efficient Algorithms for Bounded Rigid E-unification. 70-85 - Guillaume Bury, David Delahaye:
Integrating Simplex with Tableaux. 86-101 - Cezary Kaliszyk:
Efficient Low-Level Connection Tableaux. 102-111
Sequent Calculus
- Sara Negri, Nicola Olivetti:
A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics. 115-134 - Björn Lellmann:
Linear Nested Sequents, 2-Sequents and Hypersequents. 135-150
Resolution
- Taus Brock-Nannestad, Kaustuv Chaudhuri:
Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations. 153-168 - Ullrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang:
Ordered Resolution for Coalition Logic. 169-184 - Cláudia Nalon, Ullrich Hustadt, Clare Dixon:
A Modal-Layered Resolution Calculus for K. 185-200 - Zakaria Chihani, Tomer Libal, Giselle Reis:
The Proof Certifier Checkers. 201-210
Other Calculi
- Christoph Benzmüller:
Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics. 213-220 - Annemarie Borg, Roman Kuznets:
Realization Theorems for Justification Logics: Full Modularity. 221-236 - Mauro Ferrari, Camillo Fiorentini:
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic. 237-252 - Christoph Wernhard:
Second-Order Quantifier Elimination on Relational Monadic Formulas - A Basic Method and Some Less Expected Applications. 253-269 - Nicola Olivetti, Gian Luca Pozzato:
A Standard Internal Calculus for Lewis' Counterfactual Logics. 270-286 - James Brotherston, Nikos Gorogiannis:
Disproving Inductive Entailments in Separation Logic via Base Pair Approximation. 287-303
Applications
- Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata:
A Dynamic Logic with Traces and Coinduction. 307-322 - Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann:
Mīmāṃsā Deontic Logic: Proof Theory and Applications. 323-338 - Alexander K. Hudek, David Toman, Grant E. Weddell:
On Enumerating Query Plans Using Analytic Tableau. 339-354
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 2025-01-09 12:01 CET 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:
