Results 251 to 260 of about 74,791 (289)

A possible world semantics for disjunctive databases

IEEE Transactions on Knowledge and Data Engineering, 1993
The fundamental problem that arises when a ground atom in a disjunctive database is assumed false is discussed. There are basically two different approaches for inferring negative information for disjunctive databases: J. Minker's (1982) generalized closed world assumption (GCWA) and K.A. Ross and R.W. Topor's (1988) disjunctive database rule (DDR). It
openaire   +1 more source

A Possible World Semantics for Updates by Versioning

1993
Recently a rule-language for updating objects based on versioning has been proposed [1]. The units for update are base properties of the objects Updates are defined by rules; several rules may be used to a specific update. Rules are evaluated in a bottom-up way according to a certain stratification.
Georg Lausen, Gunter Saake
openaire   +1 more source

Possible world semantics and autoepistemic reasoning

Artificial Intelligence, 1994
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Modal semantics without possible worlds

Journal of Symbolic Logic, 1981
In this paper I will develop a semantic account for modal logic by considering only the values of sentences (and formulas). This account makes no use of possible worlds. To develop such an account, we must recognize four values. These are obtained by subdividing (plain) truth into necessary truth (T) and contingent truth (t); and by subdividing falsity
openaire   +2 more sources

Chapter 3. Possible Worlds Semantics and Probabilistic Semantics for Indicative Conditionals: a Survey and a Defense of Possible Worlds Semantics

2013
exaly   +2 more sources

Possible worlds semantics for predicates

2017
IF rectangle is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where rectangle is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate
Leitgeb, H, Welch, PD, Halbach, V
openaire   +1 more source

Semantics, possible worlds

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

Intentionality and Possible-Worlds Semantics

1984
Our discussion of Husserl’s theory of intentionality has focused on two important notions and their role in the theory: the notions of meaning (or noema) and horizon. In Chapters III and IV our development of Husserl’s theory assumed — along with Husserl — a generally Fregean account of meaning.
David Woodruff Smith, Ronald McIntyre
openaire   +1 more source

Meredith, Prior, and the History of Possible Worlds Semantics

Synthese, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Analyticity and Possible-World Semantics

Erkenntnis, 2010
Standard approaches to possible-world semantics allow us to define necessity and logical truth, but analyticity is considerably more difficult to account for. The source of this difficulty lies in the received model-theoretical conception of a language interpretation.
openaire   +1 more source