On the semantics for the language ML\(^\nu\) based on a type system, and those for the type-free language ML\(^\infty\)

DOI10.1007/BF00247221zbMath0285.02019MaRDI QIDQ1844816

Aldo Bressan

Publication date: 1974

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

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

70A05: Axiomatics, foundations

Related Items

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