Herzberger's limit rule with labelled sequent calculus

DOI10.1007/s11225-019-09878-xzbMath1484.03119OpenAlexW2981369531WikidataQ126986611 ScholiaQ126986611MaRDI QIDQ2193976

Andreas Fjellstad

Publication date: 25 August 2020

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-019-09878-x

zbMATH Keywords

revision theory of truthpossible world semanticsneighbourhood semanticslabelled sequent calculusHerzberger

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof analysis in modal logic
• Notes on naive semantics
• How truthlike can a predicate be? A negative result
• An axiomatic approach to self-referential truth
• Kripke and the logic of truth
• Labeled calculi and finite-valued logics
• Truth and paradox
• A system of complete and consistent truth
• Neighborhood semantics for modal logic
• PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• Proof Analysis
• Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
• Cut Elimination in the Presence of Axioms
• CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS
• REVISION REVISITED

This page was built for publication: Herzberger's limit rule with labelled sequent calculus