The paper considers epistemic properties of linear communication chains. It describes a sound and complete logical system that, in addition to the standard axioms of S5 in a multi-modal language, contains two non-trivial axioms that capture the linear structure of communication chains.

This paper deals on defining object-oriented inferences by desining a new unification procedure called c-unification (which leads to a sound and complete resolution) in DF-logic, a significant subset of F-logic [KLW,1990], an useful frame-based logical framework that enables the declarative implementation of feature grammars like LFGs, GPSGs, HPSGs, etc.

A new technology for music has emerged with unprecedented speed. Just over forty years ago, the first digitally-produced sounds gave pioneering composers from around the world a taste of vast new possibilities. Numerical experiments with sound became a logical extension of compositional interests that were pushing the boundaries of timbre, perception, new instruments and performance techniques,...

The paper provides a logical characterisation of distributed processing of SPARQL queries. The principal notion analysed is that of a distribution scheme; a pair consisting of an evaluation rule and a distribution function. Different choices of evaluation rules and distribution functions give different federation schemes that are proved to be sound and complete wrt. different selections of RDF ...

Using contextual equivalence (a.k.a. observational equivalence) to specify security properties is an important idea in the field of formal verification of cryptographic protocols. While contextual equivalence is difficult to prove directly, one is usually able to deduce it using so-called logical relations in typed λ-calculi. We apply this technique to the cryptographic metalanguage — an extens...

By mimicking the standard definition for a formal language, we define what it is natural language to be compact. We set out valid English argument none of whose finite subarguments valid. consider one by objections argument's logical validity and then dismiss them. The conclusion that English—and any other with capacity express argument—is not This rules large class logics as correct foundation...