In a supervisory control system the human agent’s knowledge of past, current, and future system behavior is critical for system performance. Being able to reason about that knowledge in a precise and structured manner is central to effective system design. In this paper we introduce the application of a wellestablished formal approach to reasoning about knowledge to the modeling and analysis of...

There are various reasons for favouring ψ-epistemic interpretations of quantum mechanics over ψ-ontic interpretations. One such reason is the correlation between quantum mechanics and Liouville dynamics. Another reason is the success of a specific epistemic model (Spekkens, 2007), in reproducing a wide range of quantum phenomena. The potential criticism, that Spekkens’ restricted knowledge prin...

The term Logos (Λογος) was widely used in the Greco-Roman culture and in Judaism. It has many meanings such as word, speech, statement, discourse, refutation, ratio, account, explanation, reason. But the meanings which have philosophical and religious implications are basically two: as an inward thought or reason, an intuitive conception, and as an outward expression of thought in speech. In an...

Diagrams have been left as an informal tool in hardware reasoning , thus rendering them unacceptable representations within formal reasoning systems. We demonstrate some advantages of formally supporting diagrams in hardware veriication systems via a simple example and provide a portion of a formal logic that includes hardware diagrams upon which we are constructing a veriication tool.