Sentence examples for modal logic from from inspiring English sources

At the same time, he recognized that the many syntactical advances in modal logic from 1918 on were still not accompanied by adequate semantic considerations.

Much of the impetus for the theory of direct reference came from the implications of the semantics of modal logic for the intentionality of singular thoughts and beliefs.

Swinging types combine equational, Horn and modal logic for the purpose of using evaluation and proof rules from all three logics for rapid prototyping and verification.

See the entry on Modal Logic for an overview.

This tradition has been woven into the history of modal logic right from its beginnings (Goldblatt, 2006).

Above we saw Gödel's translation of intuitionistic propositional logic into the classical modal logic S4 from 1933; further examples are Kleene's realizability (Kleene 1945), and Gödel's Dialectica Interpretation (Gödel 1958, Gödel 1970, Gödel 1972) (which will be discussed in a future update of this entry).

Prior's own interest in modal logic arose chiefly from his study of the ancients.

A basic modal logic M results from adding (M) to K. (Some authors call this system T).

Even more exotic logical frameworks for modal logic – taking us even further away from the idea of an argument with premisses and conclusion(s), that is – have been proposed that that of Blamey and Humberstone 1991.

Thus, the central logical problems and techniques of tense logic were borrowed from modal logic.

The question of how completeness results (and other model-theoretical properties) can be transferred from a propositional modal logic to its quantificational counterpart, and from a monomodal quantified modal logic to their multimodal combinations by means of fusion, is investigated in Schurz 2010.