Axiomatizations with context rules of inference in modal logic
From MaRDI portal
Publication:1580652
DOI10.1023/A:1005021313747zbMath0962.03014MaRDI QIDQ1580652
Publication date: 28 September 2000
Published in: Studia Logica (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
Related Items
Dynamic extensions of arrow logic, Notes on logics of metric spaces, Local properties in modal logic, PDL with intersection of programs: a complete axiomatization