This is a preview. Log in through your library . Abstract We present in this paper an axiomatization of Belnap and Perloff's stit theory (a logic of "seeing to it that") with a single agent. The idea ...
It’s time to do a series on logic including things such as programmable logic, state machines, and the lesser known demons such as switching hazards. It is best to start at the beginning — but even ...
Studia Logica: An International Journal for Symbolic Logic, Vol. 90, No. 3, Vagueness (Dec., 2008), pp. 407-423 (17 pages) Fuzzy logics are in most cases based on an ad-hoc decision about the ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback