The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based
From MaRDI portal
Publication:1248616
zbMath0383.03013MaRDI QIDQ1248616
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
Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80)
Related Items
Cites Work