Axiomatizations with context rules of inference in modal logic
From MaRDI portal
Publication:1580652
DOI10.1023/A:1005021313747zbMath0962.03014OpenAlexW1503079215MaRDI QIDQ1580652
Publication date: 28 September 2000
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1005021313747
Related Items
Dynamic extensions of arrow logic ⋮ Notes on logics of metric spaces ⋮ Putting right the wording and the proof of the Truth Lemma forAPAL ⋮ Simple Axioms for Local Properties ⋮ Local properties in modal logic ⋮ PDL with intersection of programs: a complete axiomatization