Sentence examples for particular logical from inspiring English sources

Dynamic Epistemic Logic (DEL) is the logic of knowledge change; it is not about one particular logical system, but about a whole family of logics that allow us to specify static and dynamic aspects of knowledge and beliefs of agents (cf. Van Ditmarsch et al. 2007).

By generalizing this idea and also adopting the above understanding of the subject-matter of logic, one naturally arrives at the representation of particular logical systems as a certain kind of valuation systems (see, e.g., Dummett 1981, Dummett 2000, Ryan and Sadler 1992).

In particular, logical principles such as the law of excluded middle (for every proposition p, either p or its negation, not-p, is true, there being no "middle" true proposition between them) can no longer be justified if a strongly realist conception of truth is replaced by an antirealist one that restricts what is true to what can in principle be known.

In particular, logical principles such as the law of excluded middle (for every proposition p, either p or its negation, not-p, is true, there being no "middle" true proposition between them) can no longer be justified if a strongly realist conception of truth is replaced by an antirealist one which restricts what is true to what can in principle be known.

In particular, logical theories in AI are independent from implementations.

So impossibilities and, in particular, logical inconsistencies, are "out there" in reality.

The law understands and decides things to be in a very particular strict logical order.

In particular, a logical theory of defeasible consequence will have epistemological consequences.

It is based on the fundamental assumption that the central notion in terms of which meanings are assigned to certain expressions of our language, in particular to logical constants, is that of proof rather than truth.

It should be pointed out that this argument stresses, again, the usefulness of impossible worlds as a device by means of which particular linguistic, logical and philosophical issues can be regimented and analyzed.

The Unified Modeling Language (UML) is a graphical language for communicating design specifications for software, currently very popular for communicating design specifications for software and, in particular, for logical database designs via class diagrams.