The elimination of descriptions from A. Bressan's modal language ML^ on which the logical calculus MC^ is based

MaRDI QIDQ1248616zbMATH OpenFDO

Authors Eugenio Omodeo

Publication date 1978

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_1976__56__269_0, https://eudml.org/doc/107620

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80)

Cited in

(1)

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

This page was built for publication: The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based

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