Studia Logica: An International Journal for Symbolic Logic, Vol. 49, No. 2 (1990), pp. 197-214 (18 pages) We illustrate, with three examples, the interaction between boolean and modal connectives by ...
There is nothing more ubiquitous these days than the computer, the thinking machine that has hardwired itself to our lives. A quick Google search of "history of the ...