Automated Reasoning with Analytic Tableaux and Related Methods

(ed.)
Springer (2015)
  Copy   BIBTEX

Abstract

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus; resolution; other calculi; and applications..

Categories

Keywords

Reprint years

ISBN(s)

3319243136   9783319243139   331924311X

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,272

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Mīmāṃsā deontic logic: proof theory and applications.  (pages 323--338)Agata Ciabattoni, Francesco Antonio Genco, Björn Lellmann & Elisa Freschi
Mīmāṃsā deontic logic: proof theory and applications.  (pages 323--338)Agata Ciabattoni, Francesco Antonio Genco, Björn Lellmann & Elisa Freschi

Similar books and articles

Automated Reasoning with Analytic Tableaux and Related Methods.Kai Brünnler & George Metcalfe (eds.) - 2011 - Springer Berlin Heidelberg.
Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021.Anupam Das & Sara Negri (eds.) - 2021
Mīmāṃsā deontic logic: proof theory and applications.Agata Ciabattoni, Francesco Antonio Genco, Björn Lellmann & Elisa Freschi - 2015 - In Hans De Nivelle (ed.), Automated Reasoning with Analytic Tableaux and Related Methods. Springer. pp. 323--338.
A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains.Alwen Tiu - 2011 - In Kai Brünnler & George Metcalfe (eds.), Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg. pp. 248-262.
Automated Reasoning Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4-8, 2004 ; Proceedings.David Basin & Michael Rusinowitch - 2004 - Springer Verlag.
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings.Pierangelo Miglioli, Ugo Moscato, Daniele Mundici & Mario Ornaghi - 1996 - Springer Verlag.
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings.Peter Baumgartner, F. Hahnle, Iner Hahnle & Joachim Posegga - 1995 - Springer Verlag.
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.Tim Lyon - 2021 - In Anupam Das & Sara Negri (eds.), Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021. pp. 409-427.
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings.Michel Parigot & Andrei Voronkov - 2000 - Springer.

Analytics

Added to PP
2015-11-14

Downloads
4 (#1,843,490)

6 months
4 (#1,482,408)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references