On contraction and the modal fragment
From MaRDI portal
Publication:3520225
DOI10.1002/malq.200710043zbMath1152.03013OpenAlexW2048567396MaRDI QIDQ3520225
Kai Brünnler, Thomas Studer, Dieter Probst
Publication date: 15 August 2008
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://boris.unibe.ch/37097/1/bps08.pdf
Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work