Paper Info
Title
Validity and Satisfaction in Imperative Logic
Abstract
An imperative logic is studied in which commands are treated as prescribed actions rather than as, traditionally, prescribed propositions. This approach is related to those of Jorgensen and Ross.
Year
DOI
Venue
1990
10.1305/ndjfl/1093635415
Notre Dame Journal of Formal Logic
Field
DocType
Volume
Algorithm,Imperative logic,Artificial intelligence,Syntax,Mathematics,Semantics of logic,Mathematical logic
Journal
31
Issue
Citations 
PageRank 
2
10
1.48
References 
Authors
2
1
Name
Order
Citations
PageRank
Krister Segerberg1577245.32