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

zbMATH Open0383.03013MaRDI QIDQ1248616FDOQ1248616

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)