Modal tableaux based on residuation

DOI10.1093/logcom/7.6.719zbMath0898.03008OpenAlexW2011230116MaRDI QIDQ4381866

Heinrich Wansing

Publication date: 20 October 1998

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/7.6.719

zbMATH Keywords

tense logictableau calculidisplay logicpropositional dynamic logicresiduationmulti-modal logiccut-free derivability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Hypersequent and display calculi -- a unified perspective

This page was built for publication: Modal tableaux based on residuation