On the public citation graph

Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5

https://doi.org/10.1093/logcom/exm026
0 signed · 34 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-45653-8_24openalex-snapshot
A Local System for Classical Logic
inferredcites →https://doi.org/10.1007/3-540-45685-6_10openalex-snapshot
Formalised Cut Admissibility for Display Logic
inferredcites →https://doi.org/10.1007/978-1-4757-3208-5openalex-snapshot
Labelled Non-Classical Logics
inferredcites →https://doi.org/10.1007/978-94-017-2794-5openalex-snapshot
Proof Methods for Modal and Intuitionistic Logics
inferredcites →https://doi.org/10.1007/978-94-017-2798-3_7openalex-snapshot
Power and Weakness of the Modal Display Calculus
inferredcites →https://doi.org/10.1007/978-94-017-2798-3_9openalex-snapshot
On the Completeness of Classical Modal Display Logic
inferredcites →https://doi.org/10.1007/bf01053026openalex-snapshot
Cut-free sequent calculi for some tense logics
inferredcites →https://doi.org/10.1007/s00153-009-0137-3openalex-snapshot
Deep sequent systems for modal logic
inferredcites →https://doi.org/10.1007/s10992-005-2267-3openalex-snapshot
Proof Analysis in Modal Logic
inferredcites →https://doi.org/10.1007/s11225-007-9028-yopenalex-snapshot
A Deep Inference System for the Modal Logic S5
inferredcites →https://doi.org/10.1016/s1571-0661(04)81004-1openalex-snapshot
A New Machine-checked Proof of Strong Normalisation for Display Logic
inferredcites →https://doi.org/10.1023/a:1017998605966openalex-snapshot
Displaying and Deciding Substructural Logics 1: Logics with Contraposition
inferredcites →https://doi.org/10.1093/jigpal/6.3.451openalex-snapshot
Substructural logics on display
inferredcites →https://doi.org/10.1093/jigpal/6.5.669openalex-snapshot
Gaggles, Gentzen and Galois: how to display your favourite substructural logic
inferredcites →https://doi.org/10.1093/logcom/12.6.993openalex-snapshot
Display Calculi for Nominal Tense Logics
inferredcites →https://doi.org/10.1093/logcom/4.2.125openalex-snapshot
Sequent Calculi for Normal Modal Propositional Logics
inferredcites →https://doi.org/10.1093/oso/9780198538622.003.0001openalex-snapshot
The Method of Hypersequents in the Proof Theory of Propositional Non-classical Logics
inferredcites →https://doi.org/10.1145/1182613.1182614openalex-snapshot
A system of interaction and structure
inferredcites →https://doi.org/10.1305/ndjfl/1093634564openalex-snapshot
Nominal tense logic.
inferredcites →https://doi.org/10.2168/lmcs-2(2:4)2006openalex-snapshot
A System of Interaction and Structure II: The Need for Deep Inference

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-642-02716-1_12openalex-snapshot
Modular Sequent Systems for Modal Logic
inferred← citeshttps://doi.org/10.1007/978-90-481-9670-8_5openalex-snapshot
Comparing the Different Generalisations of the Sequent Calculus
inferred← citeshttps://doi.org/10.1007/s11225-014-9566-zopenalex-snapshot
Hypersequent and Display Calculi – a Unified Perspective
inferred← citeshttps://doi.org/10.1007/s11229-008-9425-4openalex-snapshot
Display calculi and other modal calculi: a comparison
inferred← citeshttps://doi.org/10.1057/9781137003720_4openalex-snapshot
Interpreting and Applying Proof Theories for Modal Logic
inferred← citeshttps://doi.org/10.1093/logcom/exu061openalex-snapshot
Embedding the hypersequent calculus in the display calculus
inferred← citeshttps://doi.org/10.1093/logcom/exv042openalex-snapshot
Intuitionistic Modal Logic: A 15-year retrospective
inferred← citeshttps://doi.org/10.1145/1462179.1462186openalex-snapshot
On the proof complexity of deep inference
inferred← citeshttps://doi.org/10.2168/lmcs-10(2:5)2014openalex-snapshot
Interaction and Depth against Nondeterminism in Proof Search
inferred← citeshttps://doi.org/10.2168/lmcs-12(2:5)2016openalex-snapshot
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
inferred← citeshttps://doi.org/10.2168/lmcs-4(1:9)2008openalex-snapshot
Normalisation Control in Deep Inference via Atomic Flows
inferred← citeshttps://doi.org/10.2168/lmcs-7(2:8)2011openalex-snapshot
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
inferred← citeshttps://doi.org/10.25911/5d626d13dfdbfopenalex-snapshot
Cut-elimination for provability logics and some results in display logic
inferred← citeshttps://doi.org/10.48550/arxiv.1011.3668openalex-snapshot
Linear lambda Calculus with Explicit Substitutions as Proof-Search in Deep Inference
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.