default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID34th TABLEAUX 2025: Reykjavik, Iceland
- Gian Luca Pozzato
, Tarmo Uustalu:
Automated Reasoning with Analytic Tableaux and Related Methods - 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, Proceedings. Lecture Notes in Computer Science 15980, Springer 2026, ISBN 978-3-032-06084-6
Classical and Multi-valued Logic, Theorem Proving
- Victor Barroso-Nascimento, Ekaterina Piotrovskaya, Elaine Pimentel:
A Sequent Calculus Perspective on Base-Extension Semantics. 3-21 - Jens Claßen, Torben Braüner:
A Tableau System for First-Order Logic with Standard Names. 22-38 - Tadeusz Litak, Katsuhiko Sano:
Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity. 39-58 - Vitor Greati, Sérgio Marcelino, Miguel Muñoz Pérez, Umberto Rivieccio:
Analytic Calculi for Logics of Indicative Conditionals. 59-81 - Clemens Eisenhofer, Michael Rawson, Laura Kovács:
Finding Connections via Satisfiability Solving. 82-102 - Michael Rawson, Clemens Eisenhofer, Laura Kovács:
Constraint Learning for Non-confluent Proof Search. 103-119 - Clemens Eisenhofer, Theodor Seiser, Nikolaj S. Bjørner, Laura Kovács:
On Solving String Equations via Powers and Parikh Images. 120-138
Modal and Tense Logic
- Mauro Ferrari, Camillo Fiorentini, Ricardo Oscar Rodríguez:
A Gödel Modal Logic over Witnessed Crisp Models. 141-160 - Kiana Samadpour Motalebi, Renate A. Schmidt, Cláudia Nalon:
Refined Tableau Systems for Some Modal Logics of Confluence. 161-180 - Renato Leme, Carlos Olarte, Elaine Pimentel, Marcelo Esteban Coniglio:
The Modal Cube Revisited: Semantics Without Worlds. 181-200 - Sebastijan Horvat, Borja Sierra-Miranda, Thomas Studer:
Non-wellfounded Proof Theory for Interpretability Logic. 201-219 - Agata Ciabattoni, Timo Lang, Revantha Ramanayake:
Analytic Proofs for Tense Logic. 220-237 - Rajeev Goré, Cormac Kikkert:
Improved Decision Procedures for Multi-modal Tense Logic Using CEGAR-Tableaux. 238-257 - Johannes Kloibhofer, Valentina Trucco Dalmas, Yde Venema:
Interpolation for Converse PDL. 258-277 - Julia Butte, André Platzer:
Semi-competitive Differential Game Logic. 278-295
Intuitionistic and Substructural Logic
- Kaustuv Chaudhuri, Arunava Gantait, Dale Miller:
Designing a Safe Forward Chaining Tactic Using Productive Proofs. 299-317 - Yll Buzoku, David J. Pym:
Base-Extension Semantics for Intuitionistic Modal Logics (Extended Abstract). 318-334 - Niels F. W. Voorneveld:
Forward Proof Search for Intuitionistic Multimodal K Logics. 335-353 - Tiziano Dalmonte, Marianna Girlando:
A Proof-Theoretic View of Basic Intuitionistic Conditional Logic. 354-373 - Bahareh Afshari, Lide Grotenhuis:
Intuitionistic μ-Calculus with the Lewis Arrow. 374-392 - Sonia Marin, Paaras Padhiar:
Justification Logic for Intuitionistic Modal Logic. 393-413 - Matteo Acclavio, Lutz Straßburger:
Intuitionistic BV. 414-432 - Niccolò Veltri, Cheng-Syuan Wan:
An Agda Formalization of Nonassociative Lambek Calculus and its Metatheory. 433-452 - Anupam Das, Abhishek De:
Cyclic System for an Algebraic Theory of Alternating Parity Automata. 453-472 - Niklas Heidler, Reiner Hähnle:
A Sequent Calculus For Trace Formula Implication. 473-490
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 2026-04-23 22:37 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:
