Results 141 to 150 of about 282,427 (194)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
POSSIBLE WORLDS SEMANTICS FOR DEFAULT LOGICS
Fundamenta Informaticae, 1994We introduce a uniform semantical framework for various default logics in terms of Kripke structures. This possible worlds approach provides a simple but meaningful instrument for comparing existing default logics in a unified setting. The possible worlds semantics is introduced by means of constrained default logic. Also, it easily deals with Brewka's
Besnard, Philippe, Schaub, Torsten
openaire +2 more sources
Possible Worlds Semantics and Fiction
Journal of Philosophical Logic, 2005zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Agnostic Possible Worlds Semantics
2012Working within standard classical higher-order logic, we propose a possible worlds semantics (PWS) which combines the simplicity of the familiar Montague semantics (MS), in which propositions are sets of worlds, with the fine-grainedness of the older but less well-known tractarian semantics (TS) of Wittgenstein and C.I.
Andrew Plummer, Carl Pollard
openaire +1 more source
Peirce’s Contributions to Possible-Worlds Semantics
Studia Logica, 2006zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
2018
Possible worlds semantics (PWS) is a family of ideas and methods that have been used to analyse concepts of philosophical interest. PWS was originally focused on the important concepts of necessity and possibility. Consider: - Necessarily, 2 + 2 = 4. - Necessarily, Socrates had a snub nose. Intuitively, (a) is true but (b) is
openaire +1 more source
Possible worlds semantics (PWS) is a family of ideas and methods that have been used to analyse concepts of philosophical interest. PWS was originally focused on the important concepts of necessity and possibility. Consider: - Necessarily, 2 + 2 = 4. - Necessarily, Socrates had a snub nose. Intuitively, (a) is true but (b) is
openaire +1 more source
The Genesis of Possible Worlds Semantics
Journal of Philosophical Logic, 2002In the article the author gives an interesting survey of the development of possible worlds semantics starting from the works of Wittgenstein (1913-1921), through the contribution of such authors as Feys, McKinsey, Carnap, von Wright and others, up to Bayart, Drake and -- of course -- Kripke (1958-1965). The early prehistory of this theory (in works of
openaire +1 more source

