From Input/Output Logics to Conditional Logics via Sequents – with Provers

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods
1. Verfasser: Lellmann, Björn (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2021
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Analytic Tableaux for Non-deterministic Semantics 2021 Grätz, Lukas
The Role of Entropy in Guiding a Connection Prover 2021 Zombori, Zsolt
The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics 2021 Otten, Jens
Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs 2021 Kuznetsov, Stepan L.
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement 2021 Lyon, Tim S.
The Došen Square Under Construction: A Tale of Four Modalities 2021 Mendler, Michael
Tableaux for Free Logics with Descriptions 2021 Indrzejczak, Andrzej
Cyclic Hypersequent Calculi for Some Modal Logics with the Master Modality 2021 Rooduijn, Jan
AC Simplifications and Closure Redundancies in the Superposition Calculus 2021 Duarte, André
lazyCoP: Lazy Paramodulation Meets Neurally Guided Search 2021 Rawso, Michael
A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic 2021 D’Abrera, Caitlin
Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus 2021 Afshari, Bahareh
A Focus System for the Alternation-Free μ-Calculus 2021 Marti, Johannes
Constraint Tableaux for Two-Dimensional Fuzzy Logics 2021 Bílková, Marta
Tableaux and Restricted Quantification for Systems Related io Weak Kleene Logic 2021 Ferguson, Thomas Macaulay
CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT 2021 Goré, Rajeev
Basing Sequent Systems on Exclusive-Or 2021 Avron, Arnon
Proof-Theory and Semantics for a Theory of Definite Descriptions 2021 Kürbis, Nils
From Input/Output Logics to Conditional Logics via Sequents – with Provers 2021 Lellmann, Björn
Proof Search on Bilateralist Judgments over Non-deterministic Semantics 2021 Greati, Vitor
Alle Artikel auflisten