scientific article; zbMATH DE number 1975415

MaRDI QIDQ4424658zbMATH OpenFDO

Authors Alexander Vasil'evich Chagrov

Publication date 4 September 2003

zbMATH Keywords

degree of incompletenesseliminablity of the axiom of choicefinite axiomatizabilitylogic without immediate predecessorspropositional modal logicstabular logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Axiom of choice and related propositions (03E25)

Recommendations

• The modal logic of reverse mathematics
• The elimination theorem when modality is present
• Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
• On the Independent Axiomatizability of Modal and Intermediate Logics
• Cut-elimination theorems for some infinitary modal logics

Cited in

(6)

• On independent axiomatizability of quasi-normal modal logics
• Direct proofs of Lindenbaum conditionals
• The modal logic of reverse mathematics
• Inverse images of box formulas in modal logic
• Modal logic without contraction in a metatheory without contraction
• The elimination theorem when modality is present

This page was built for publication:

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