Sentence examples for modal logics and from inspiring English sources

Some of them are simply extensions of the "classical" first-order logic e.g., modal logics and many versions of intensional logic.

All normal modal logics, and hence most plausible accounts of alethic modality, include the K axiom.

This feature is the result of our wholistic conception of property-based (modal logics) and model-based (process algebra) formalisms.

We show how this can be done for a rich class of modal logics and a variety of syntactic properties.

Moreover, we show that ML systems have properties not holding for modal logics and argue that these properties are justified by our intuitions.

We present an abstract framework for default reasoning, which includes Theorist, default logic, logic programming, autoepistemic logic, non-monotonic modal logics, and certain instances of circumscription as special cases.

Burgess also provides an authoritative but nontechnical account of Kripke's influential contributions to the study of modal logic and logical paradoxes.

It is then shown that classical modal logic, conditional logic, possibilistic logic, quantitative modal logic and qualitative possibilistic logic are all sublogics of the presented logical framework.

resemble the box and diamond connectives found in modal logic, and it is then possible and interesting to study variations for the logical rules of these connectives.

For detailed discussion of specific fields, see the articles applied logic, formal logic, modal logic, and logic, philosophy of.

Kripke, in Naming and Necessity (among many other things), discusses modal logic and truth conditions across "possible worlds".