Sentence examples similar to refinement logic from inspiring English sources

"I will never be lacking if the clash of sounds collide, with refinement and logic bursting from a cone of manful blast," he writes on page 90.

In this paper we present refinement modal logic.

We present a sound and complete axiomatization of multi-agent refinement modal logic.

The refinement of intuitionistic logic provided by linear logic and the dualities of linear logic provided a setting in which one could view a function and its environment as similar entities that interact dually.

Because of its strong uniform formal foundation, built upon lattice theory and higher-order logic, Refinement Calculus bridges the gap between many popular reasoning styles, including agent based reasoning, contract based reasoning, and use of game theory.

Data collected as part of a quality M&E effort around integrated programs will allow the data collection to adequately inform program decision making; to provide information for the refinement of the logic model's inputs, processes, and indicators for integration; and to help build up the evidence base for integration efforts.

Linear logic is a refinement of classical and intuitionistic logic.

The other works [3, 11, 16, 21] study concept learning in DLs using refinement operators as in inductive logic programming.

The second group studies concept learning in DLs using refinement operators as in inductive logic programming [4, 11, 15, 19].

Badea and Nienhuys-Cheng [4] studied concept learning in the DL (mathcal {ALER}) for Setting 1 using refinement operators as in inductive logic programming.

In a paper of M. Huhn published in CONCUR 1996 a refinement operator on a linear time logic is presented that mimics precisely a semantic action refinement on synchronisation structures.