On the equivalence between the calculi MC^ and EC^+1 of A. Bressan

DOI10.1305/NDJFL/1093870381MaRDI QIDQ585186zbMATH OpenOpenAlexFDO

Authors Alberto Zanardo

Publication date 1983

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093870381

zbMATH Keywords

Bressan's calculigeneral interpretations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Relative consistency and interpretations (03F25)

This page was built for publication: On the equivalence between the calculi \(MC^\nu\) and \(EC^{\nu+1}\) of A. Bressan

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