Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Logics of Time and Computation
pocket,
1992,
Engelska,
ISBN 9780937073940
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to …
Mathematics of Modality
inbunden,
1994,
Engelska,
ISBN 9781881526247
Modal logic is the study of modalities - expressions that qualify assertions about the truth of statements - like the ordinary language phrases necessarily, possibly, it is …