Validity and satisfaction in imperative logic

From MaRDI portal
Publication:923063

DOI10.1305/NDJFL/1093635415zbMATH Open0712.03002OpenAlexW2035825187MaRDI QIDQ923063FDOQ923063


Authors: Krister Segerberg Edit this on Wikidata


Publication date: 1990

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

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




Recommendations





Cited In (15)





This page was built for publication: Validity and satisfaction in imperative logic

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