Modal tableaux based on residuation
From MaRDI portal
Publication:4381866
DOI10.1093/logcom/7.6.719zbMath0898.03008OpenAlexW2011230116MaRDI QIDQ4381866
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
tense logictableau calculidisplay logicpropositional dynamic logicresiduationmulti-modal logiccut-free derivability
Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (1)
This page was built for publication: Modal tableaux based on residuation