S. Artemov, 1998, "Explicit Modal Logic', in Proceedings AiML-II, Philosophical Institute, Uppsala, 22 -- 31. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Modal Logic In Two Gestalts - van Benthem (1998) (2 citations) (Correct)
....one particular view of the semantics for a modal language, and hence, they may encourage undue conservatism. These issues were hotly debated in the seventies: cf. van Benthem 1977 on intrinsic versus translationist views of temporal logic. For a contemporary example, in the logic of proofs of Artemov 1998, the box modality [ is not a universal quantifier (over all accessible worlds) but an existential one (running over available proofs) But when well defined, such alternative views, too, can always be translated . Also, modal translations need not run into first order logic. For instance, when ....
S. Artemov, 1998, "Explicit Modal Logic', in Proceedings AiML-II, Philosophical Institute, Uppsala, 22 -- 31.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC