Three existence principles in a modal calculus without descriptions contained in A. Bressan's \(MC^\nu\)
From MaRDI portal
Publication:1134142
DOI10.1305/ndjfl/1093883257zbMath0423.03013OpenAlexW2078448110MaRDI QIDQ1134142
Publication date: 1980
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093883257
description operatoraxiom of choiceaxiomatization for an interpreted modal calculusexistence principle
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
This page was built for publication: Three existence principles in a modal calculus without descriptions contained in A. Bressan's \(MC^\nu\)
