Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"possible world semantics"”.
-
A Constraint Logic Approach to Automated Modal Deduction
… represent the accessibility relation in the possible world semantics for these logics. The translation procedure and the constraint logic depend upon the specific modal logic being translated. The framework provides a mechanism for converting a wide variety of first order inference rules into …
-
The time of possibilities : truth and felicity of subjunctive conditionals
… conditional statements within the framework of possible world semantics. I argue that in order to understand what the meaning of a modal sentence is we need to look closely at the internal composition of accessibility relations. Accessibility relations are shown to be complex relations involving …
-
Sequential pattern mining with uncertain data
… in the process of data mining. We use possible world semantics to interpret two typical types of uncertainty: the tuple-level existential uncertainty and the attribute-level temporal uncertainty. In an uncertain database, it is probabilistic that a pattern is frequent or not; thus, we …
-
Counterfactual Logic: A Modern Overview
… and modalities. Moreover, Lewis described a possible world semantics involving a ``sphere system'' that effectively lets you talk about some worlds being more ``similar'' to a given world than others. The resulting theory is very powerful and flexible in many ways similar to the theory of …