Axiomatizations with context rules of inference in modal logic

DOI10.1023/A:1005021313747zbMath0962.03014OpenAlexW1503079215MaRDI QIDQ1580652

Valentin F. Goranko

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

zbMATH Keywords

modal logicinference rulesaxiomatizationsmulti-modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (6)

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

This page was built for publication: Axiomatizations with context rules of inference in modal logic