Governatori et al. 2002 investigates the relationships between BDI logics and a particular case of fibring semantics (which the authors call dovetailing), showing that a (general) logical account of BDI can be handled by means of dovetailing multimodal logics.
In the case of statistical semantics, practical applications such as question-answering based on large textual resources, retrieval of documents relevant to a query, or machine translation are at present greatly superior to logical systems that attempt to fully understand both the query or text they are confronted with and the knowledge they bring to bear on the task.
In particular, the familiar matrix semantics are a specific case of possible-translations semantics, as well as the historical examples of translations between logics found in the literature.
Even in the case of exactly once semantics, fault tolerance mechanisms affect the time when a result is produced.
In the case of event time semantics, individual elements include a timestamp that defines the order and time distance between elements.
In the case of processing time semantics, elements do not embed any notion of time and so their original order and relative time distance is lost in the case of faults.
Distribution becomes particularly relevant in the case of processing time semantics, where the presence of heterogeneous nodes, different processing speed, or different in latency between nodes might affect the overall behavior of the SPE in ways that cannot be predicted by only looking at the graph topology.
In each case the semantics of the underlying languages and the preservation of the semantics of the considered programs are the surveyor's rod of admissibility.
Also in this case, the semantics of processing in the case some elements violate the content of metadata might change from system to system.
