Search by property
From International Center for Computational Logic
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- 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 +
