Axiomatizations with context rules of inference in modal logic

DOI10.1023/A:1005021313747MaRDI QIDQ1580652zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

axiomatizationsinference rulesmodal logicmulti-modal logic

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(11)

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

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)