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 ...
Understanding how defined cell types contribute to organism function is a central goal in biology and an acute challenge in neuroscience 1. Recent development of optically modulated, genetically ...