Computational models of molecular and gene networks are now commonplace. They are becoming larger and more complex, and are based on various approaches. Standard formats permit the sharing and reuse ...

Studia Logica: An International Journal for Symbolic Logic, Vol. 43, No. 3 (1984), pp. 203-216 (14 pages) We propose a first order modal logic, the QS4E-logic, obtained by adding to the well-known ...

The Journal of Philosophical Logic provides a forum for work at the crossroads of philosophy and logic, old and new, with contributions ranging from conceptual to technical. Accordingly, the Journal ...