A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan
From MaRDI portal
Publication:1163535
zbMath0484.03006MaRDI QIDQ1163535
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
03B45: Modal logic (including the logic of norms)
Cites Work
- Investigations into quantified modal logic. I
- The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based
- On the semantics for the language ML\(^\nu\) based on a type system, and those for the type-free language ML\(^\infty\)
- A generalization of the concept ofω-completeness
- A formulation of the simple theory of types
- The completeness of the first-order functional calculus
- Completeness in the theory of types
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item