Possible world semantics for autoepistemic logic
MoL 2008 04: A Konolige bridge between default logic and autoepistemic logic
... 3 Possible world semantics In this chapter we will explain how Denecker, Marek and Truszczy´ nski united de- fault logic and autoepistemic logic with use of possible ...
66
Distributed Autoepistemic Logic and Its Application to Access Control
... The scenario contains a conflict that cannot be automatically resolved. At this point, A as the principal with control over r will have to manually resolve the conflict by removing ac- cess from at least one of them. In ...
7
Logic: propositional logic semantics
... • We should think about a knowledge base as carving out a set of models. Over time, we will add additional formulas to the knowledge base, thereby winnowing down the set of models. • Intuitively, adding a formula to the ...
44
Rewriting Logic Semantics of Orc
... execution semantics, in which a configuration is not allowed to advance its time unless it reaches a state where no internal or external action, other than a time tick, can be ...this semantics, an Orc ...
123
Program Semantics and Classical Logic
... Program Semantics and Classical Logic Reinhard Muskens Abstract In the tradition of Denotational Semantics one usually lets program constructs take their denotations in reflexive domains, ...type ...
33
A Hybrid Intuitionistic Logic: Semantics and Decidability
... state. As we shall see later, the partiality of the function Eval is crucial in the proof of the finite model property. In the case Eval (w) is defined and is p, we shall say that w evaluates to p. In addition to ...
35
A general schema for generating argumentation semantics from logic programming semantics
... argumentation semantics as ...the possible choices for extensions within each initial strongly connected component are determined using a basic argumentation semantics-specific function ...
39
Kripke Semantics and Proof Systems for Combining Intuitionistic Logic and Classical Logic
... linear logic is that it generalizes the principles of Gentzen in terms of the conditions under which cut-elimination is ...The semantics of linear logic emphasize the interpretation of proofs as ...
34
Extension-based argumentation semantics via logic programming semantics with negation as failure
... argumentation semantics in one single logic program and three different logic programming ...argumentation semantics in terms of solvers of logic programming semantics ...
15
Possible worlds semantics and true-true counterfactuals
... McGlynn’s semantics, however, this is not the case: when an antecedent, A, is true, it plays a further role, partly determining which worlds are relevant to determining the conditional’s ...antecedent-relative ...
36
Safety, the Preface Paradox and Possible Worlds Semantics
... to possible worlds semantics and thus might render them graspable in a way that would pre- serve SKN and ...treat world descriptions as maximal, or complete, and one might intuitively suppose that ...
17
MoL 2009 18: Inquisitive Semantics and Logic
... convenient semantics I have remarked on more than occasion in this text that the update semantics defined here is perfectly static, as there are no real dynamic ...inquisitive semantics in terms of ...
50
Bi-approximation Semantics for Substructural Logic at Work
... consequences as relations between premises and conclusions. On p-frames, we think about X as a set of premise worlds where we evaluate only premises, and about Y as a set of conclusion worlds where we evaluate just ...
23
A Formalization of the Semantics of Functional-Logic Programming in Isabelle
... choice semantics. A standard formulation for this semantics is the CRWL logic, that specifies a proof calculus for computing the set of possible results for each ...
11
Coupling CCG and Hybrid Logic Dependency Semantics
... Copestake et al. argue that these flat representa- tions facilitate a number of computational tasks, in- cluding machine translation and generation, without sacrificing linguistic expressivity. Also, flatness per- mits ...
8
On the Proper Treatment of Quantifiers in Probabilistic Logic Semantics
... probabilistic logic while taking into account the problems resulting from the domain closure assumption (DCA) and the closed-world assumption ...probabilistic logic for natural language ...
11
Future Contingents. Indeterminism, Temporal Logic and Semantics
... Interestingly, Lewis argues against a branching conception of time, for he takes it to be incompatible with “our ordinary presupposition that we have a single future”. It is easy to see that Lewis’ worries vanish if we ...
219
A semantics and implementation of a causal logic programming language
... a semantics for a new class of declarative programming languages that support massive amounts of implicit ...declarative semantics is possible, because rules can add new tuples to the database but ...
44
Clauses as Semantic Predicates: Difficulties for Possible-Worlds Semantics
... The possible-worlds-based account would give the same semantics to the two sorts of permission sentences: for a permission sentence such as (10a) or (10c) to be true, the clausal complement would have to be ...
17
PP 2019 15: Truthmaker Semantics for Epistemic Logic
... epistemic logic and the ex- tent to which it can best the Hintikkan ...three possible targets of analysis for the epistemic ...this semantics with a (conditional) knowl- edge operator, drawing on ...
33