Saul Kripke (1963) Semantical Considerations on Modal Logic. Acta Philosophica Fennica, pages 83--94. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Acknowledgments - The First Thanks (Correct)
....different interpretation is due to Prior [104] A world becomes a point in time, necessarily becomes always in the future, and possibly becomes somewhen in the future, i.e. in any future point in time. Kripke proposed more general models: triples of the kind hW; R; V i, known as Kripke structures [77, 79, 78, 80]. A Kripke structure is composed of a set of worlds W , a relation R between worlds, called accessibility relation, and a valuation function V assigning to each world in W a set of propositional symbols. In this perspective, the universes of Carnap are equivalence classes of worlds, i.e. Carnap s ....
S.A. Kripke. Semantical considerations on modal logic. Acta Philosophica Fennica, 16:83--94, 1963.
Information Systems Security: Specification and Quantitative .. - Ortalo, Deswarte (Correct)
....p q ( O p O q O ( p Standard deontic logic (the most widely studied simple system of deontic logic) also contains axiom D which relates obligation and permission. D The semantics associated to a normal modal logic language like is a Kripke s semantics, or possible world semantics [Kripke 1963]. A Kripke model M for a modal logic system is defined by a triple where W is a set of possible worlds w, R is a binary relation over W called the accessibility relation, and is a function furnishing in each world the truth value of the atomic proposition p. The fact that proposition p is true in ....
S. A. Kripke, "Semantical Considerations in Modal Logic", Acta Philosophica Fennica, vol.16, pp.83-94, 1963.
Identity in Epistemic Semantics - Jelle Gerbrandy (Correct)
No context found.
Saul Kripke (1963) Semantical Considerations on Modal Logic. Acta Philosophica Fennica, pages 83--94.
Algebraic Manipulation of Modalities - Chen (Correct)
No context found.
S. Kripke. Semantical considerations on modal logic. Acta Philosophica Fennica, 16:83--94, 1963.
Generic Composition - Chen (2002) (Correct)
No context found.
S. Kripke. Semantical considerations on modal logic. Acta Philosophica Fennica, 16:83--94, 1963.
Counterpart Semantics - A Foundational Study on Quantified Modal.. - Corsi (2002) (Correct)
No context found.
Saul Kripke, Semantical considerations on modal logics, Acta Philosophica Fennica, vol. 16 (
A Model-Checking Approach to Safe SFCs - Huuck, Lukoschus, Bauer (2003) (Correct)
No context found.
S. A. Kripke, "Semantical considerations on modal logic," Acta Philosophica Fennica, vol. 16, pp. 83--94, 1963.
The Modal Logic of Pure Provability - Samuel Buss Department (1990) (6 citations) (Correct)
No context found.
Saul A. Kripke. Semantical considerations on modal logic. Acta Philosophica Fennica, 16:83--94, 1963.
Limited Reasoning in First-Order Knowledge Bases with Full.. - Lakemeyer (1996) (4 citations) (Correct)
No context found.
Kripke, S. A., Semantical Considerations on Modal Logic, Acta Philosophica Fennica 16, 1963, pp. 83--94.
Model-based Automated Analysis for Dependable Interactive Systems - Loer (2003) (1 citation) (Correct)
No context found.
Kripke, S. A. (1963). Semantical considerations on modal logic. Acta Philosophica Fennica, 16:83--94.
On sensing and off-line interpreting in GOLOG Gerhard.. - Department Of Computer (1999) (Correct)
No context found.
Kripke, S. A., Semantical considerations on modal logic. Acta Philosophica Fennica 16, 1963, pp. 83--94.
Only Knowing in the Situation Calculus - Gerhard Lakemeyer Institute (1996) (4 citations) (Correct)
No context found.
Kripke, S. A., Semantical considerations on modal logic. Acta Philosophica Fennica 16, 1963, pp. 83--94.
Deciding Agent Logics - From KARO to WSnS - Hirsch (2001) (Correct)
No context found.
Saul Kripke. Semantical considerations on modal logic. Acta Philosophica Fennica, 16:83-94, 1063.
Software Verification for Programmable Logic Controllers - Huuck (2003) (Correct)
No context found.
Saul A. Kripke. Semantical considerations on modal logic. Acta Philosophica Fennica, 16:83--94, 1963.
Explicit Provability And Constructive Semantics - Artemov (2001) (1 citation) (Correct)
No context found.
S. Kripke, Semantical considerations on modal logic, Acta Philosophica Fennica, vol. 16 (1963), pp. 83--94.
Limited Reasoning in First-Order Knowledge Bases - Lakemeyer (1994) (9 citations) (Correct)
No context found.
Kripke, S. A., Semantical Considerations on Modal Logic, Acta Philosophica Fennica 16, 1963, pp. 83--94.
Quantifcation in Nonclassical Logic - Gabbay, Shehtman, Skvortsov (2004) (Correct)
No context found.
S. Kripke. Semantical considerations on modal logic. Acta Philosophica Fennica, 16:83-94, 1963.
Logical Theories for Agent Introspection - Bolander (2003) (Correct)
No context found.
Saul A. Kripke. Semantical considerations on modal logic. Acta Philosophica Fennica, 16:83--94, 1963.
Algebraic Manipulation of Modalities - Chen (Correct)
No context found.
S. Kripke. Semantical considerations on modal logic. Acta Philosophica Fennica, 16:83--94, 1963.
First-Order Intensional Logic - Fitting (2003) (1 citation) (Correct)
No context found.
S. Kripke. Semantical considerations on modal logics. In Acta Philosophica Fennica, Modal and Many-valued Logics, pages 83--94, 1963.
Unifying Temporal Logics - Yifeng Chen And (2002) (Correct)
No context found.
S. Kripke. Semantical considerations on modal logic. Acta Philosophica Fennica, 16:83-94, 1963.
Meta-reasoning: a Survey - Costantini (2002) (Correct)
No context found.
Kripke, S.A.: Semantical considerations on modal logic. In: Acta Philosophica Fennica. Volume 16. (1963) 493--574
Generic Composition - Chen (2002) (Correct)
No context found.
S. Kripke. Semantical considerations on modal logic. Acta Philosophica Fennica, 16:83-94, 1963.
Towards a Consistent Logical Framework for Ontological - Analysis Aaron Kaplan (Correct)
No context found.
Saul Kripke. Semantical considerations on modal logic. Acta Philosophica Fennica, pages 83--94, 1963.
Reusing Certain Database Design Principles, Methods and.. - Meersman (2001) (Correct)
No context found.
Kripke, Saul A. (1963a) "Semantical considerations on modal logic," Acta Philosophica Fennica, Modal and Many-valued Logics, pp. 83-94.
First 50 documents Next 50
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