Axiomatizations with context rules of inference in modal logic

DOI10.1023/A:1005021313747zbMATH Open0962.03014OpenAlexW1503079215MaRDI QIDQ1580652FDOQ1580652

Authors: Valentin 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

Recommendations

• A hierarchy of modal logics with relative accessibility relations
• scientific article; zbMATH DE number 1114355
• Publication:4489067
• scientific article; zbMATH DE number 804146
• Derivation rules as anti-axioms in modal logic

zbMATH Keywords

modal logicinference rulesaxiomatizationsmulti-modal logic

Mathematics Subject Classification ID

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

Cited In (10)

• Inequality without irreflexivity
• Putting right the wording and the proof of the Truth Lemma forAPAL
• Notes on logics of metric spaces
• Local properties in modal logic
• Dynamic extensions of arrow logic
• Rules with parameters in modal logic. I.
• Simple Axioms for Local Properties
• A decidable multi-modal logic of context
• ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY
• PDL with intersection of programs: a complete axiomatization

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1580652)