Notre Dame Journal of Formal Logic

Validity and satisfaction in imperative logic.

Krister Segerberg

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic, Volume 31, Number 2 (1990), 203-221.

Dates
First available in Project Euclid: 27 August 2004

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1093635415

Digital Object Identifier
doi:10.1305/ndjfl/1093635415

Mathematical Reviews number (MathSciNet)
MR1058421

Zentralblatt MATH identifier
0712.03002

Subjects
Primary: 03B60: Other nonclassical logic

Citation

Segerberg, Krister. Validity and satisfaction in imperative logic. Notre Dame J. Formal Logic 31 (1990), no. 2, 203--221. doi:10.1305/ndjfl/1093635415. https://projecteuclid.org/euclid.ndjfl/1093635415


Export citation