Logicality, double-line rules, and modalities
From MaRDI portal
Publication:2631645
DOI10.1007/S11225-017-9778-0OpenAlexW2791118640MaRDI QIDQ2631645FDOQ2631645
Authors: Norbert Gratzl, Eugenio Orlandelli 
Publication date: 15 May 2019
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-017-9778-0
Cites Work
- Structural proof theory. With an appendix by Aarne Ranta
- Display logic
- Proof-theoretic semantics, a problem with negation and prospects for modality
- Title not available (Why is that?)
- Gaggles, Gentzen and Galois: how to display your favourite substructural logic
- Title not available (Why is that?)
- Proof analysis in modal logic
- What is Logic?
- Simple consequence relations
- Title not available (Why is that?)
- Displaying modal logic
- Basic logic: reflection, symmetry, visibility
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
- Title not available (Why is that?)
- WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS
- Logical constants as punctuation marks
- First-order logic: (philosophical) pro and contra
- Power and Limits of Structural Display Rules
- Sequent-systems for modal logic
- Sequent Calculi for Normal Modal Propositional Logics
- Title not available (Why is that?)
- Display calculi and other modal calculi: a comparison
- Title not available (Why is that?)
- Title not available (Why is that?)
- Popper's Notion of Duality and His Theory of Negations
- Popper's theory of deductive inference and the concept of a logical constant
- Title not available (Why is that?)
Cited In (4)
Uses Software
This page was built for publication: Logicality, double-line rules, and modalities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2631645)
