Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- A Framework for Intuitionistic Grammar Logics +
- Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics +
- Automating Reasoning with Standpoint Logic via Nested Sequents +
- Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules +
- Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents +
- Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets +
- From Display to Labelled Proofs for Tense Logics +
- Internal and External Calculi: Ordering the Jungle without Being Lost in Translations +
- Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics +
- Nested Sequents for Intuitionistic Modal Logics via Structural Refinement +
- Nested Sequents for Quantified Modal Logics +
- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic +
- On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics +
- Proof Theory and Decision Procedures for Deontic STIT Logics +
- Refining Labelled Systems for Modal and Constructive Logics with Applications +
- Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents +
- Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents +
- The Basics of Display Calculi +
- Uniform and Modular Sequent Systems for Description Logics +
- Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations +
