A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan

MaRDI QIDQ1163535zbMATH OpenFDO

Authors Alberto Zanardo

Publication date 1981

Published in Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=RSMUP_1981__64__39_0, https://eudml.org/doc/107801

zbMATH Keywords

contingent theoriesinterpretationsmodal logictype-theoretical modal calculus

Mathematics Subject Classification ID

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

Cites work

• A formulation of the simple theory of types
• A generalization of the concept ofω-completeness
• Completeness in the theory of types
• scientific article; zbMATH DE number 3747076 (Why is no real title available?)
• scientific article; zbMATH DE number 3503190 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• scientific article; zbMATH DE number 3402572 (Why is no real title available?)
• Investigations into quantified modal logic. I
• On the semantics for the language ML^ based on a type system, and those for the type-free language ML^
• The completeness of the first-order functional calculus
• The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based

This page was built for publication: A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan

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