[PDF] Top 20 Autoepistemic equilibrium logic and epistemic specifications
Has 10000 "Autoepistemic equilibrium logic and epistemic specifications" found on our website. Below are the top 20 most common "Autoepistemic equilibrium logic and epistemic specifications".
Autoepistemic equilibrium logic and epistemic specifications
... We here propose a new semantics that is based on the logic of here-and-there: we add epistemic modal operators to its language and define epistemic here-and-there models.. We then success[r] ... Voir le document complet
24
Autoepistemic equilibrium logic and epistemic specifications
... We here propose a new semantics that is based on the logic of here-and-there: we add epistemic modal operators to its language and define epistemic here-and-there models.. We then success[r] ... Voir le document complet
25
Splitting Epistemic Logic Programs
... call epistemic splitting, that not only defines an intuitive behaviour for stratified epistemic specifica- tions but also goes further, extending the splitting theorem [ 9 ], well-known for standard ... Voir le document complet
16
Founded World Views with Autoepistemic Equilibrium Logic
... model) and X is some set of atoms without a “justifying” rule, that is, there is no r ∈ Π allowing a positive derivation of atoms in ...) and is not used to derive other head atoms outside X (condition 3 ... Voir le document complet
16
Splitting Epistemic Logic Programs
... cyclic specifications whose intuitive behaviour is not always easy to ...an epistemic logic program may yield alternative sets of stable models, each set being called a world ...himself and, ... Voir le document complet
15
Epistemic boolean games based on a logic of visibility and control
... dynamic epistemic logic of visibility and control in which one can deduce strategic abilities of coali- tions of ...Nash equilibrium that can be ex- tended to epistemic boolean games in ... Voir le document complet
8
Epistemic boolean games based on a logic of visibility and control
... dynamic epistemic logic of visibility and control in which one can deduce strategic abilities of coali- tions of ...Nash equilibrium that can be ex- tended to epistemic boolean games in ... Voir le document complet
9
Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces
... in logic and computer science Fagin et al. (1995), and type spaces, more common in economics and game theory (Harsanyi ...express epistemic conditions for solution concepts. For ... Voir le document complet
33
Extensions of equilibrium logic by modal concepts
... ) and Wang and Zhang’s equilibrium views (Subsection ...E-S and compare them all with our ...an epistemic modal logic with a kind of minimal model reasoning about ... Voir le document complet
165
Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces
... in logic and computer science Fagin et al. ( 1995 ), and type spaces, more common in economics and game theory ( Harsanyi 1967 ...express epistemic conditions for solution concepts. For ... Voir le document complet
32
Epistemic Equilibrium Logic
... simple and neat intuitionistic modal logic EHT : the two modal operators K and ˆ K that we add to the original language of HT are inter- preted in models that are straightforward combinations of the ... Voir le document complet
8
Founded World Views with Autoepistemic Equilibrium Logic
... ∅ and {a}, but the latter cannot be a stable model because a is not derivable applying the ...program and a fixed set of assumptions, as happens to {a} in the last ...disjunctive logic program are ... Voir le document complet
15
Epistemic Equilibrium Logic
... we and Wang and Zhang propose an epistemic extension of equilibrium logic, there are some fundamental ...p∧¬p and K ¬¬p have WZ-EEMs but no EEMs in our sense; the other way ... Voir le document complet
9
From paraconsistent three-valued logics to multiple-source epistemic logic
... consistent logic is does not seem to exist, but a nec- essary condition is that the logical consequence re- lation is not explosive, that is, there can exist con- tradictions in the logic without implying ... Voir le document complet
9
From paraconsistent three-valued logics to multiple-source epistemic logic
... consistent logic is does not seem to exist, but a nec- essary condition is that the logical consequence re- lation is not explosive, that is, there can exist con- tradictions in the logic without implying ... Voir le document complet
10
A poor man's epistemic logic based on propositional assignment and higher-order observation
... visibility-based epistemic logics is that we also account for common knowledge: our language includes a special atomic formula for joint attention of the form JS p that reads “all agents jointly see the value of ... Voir le document complet
15
A Succinct Language for Dynamic Epistemic Logic (long version)
... Dynamic Logic of Propositional Assignments (DLPA) ([3], [2]) as developed in [12], where they were called mental ...programs and postconditions for event ... Voir le document complet
20
Capturing equilibrium models in modal logic
... u and w Ó= u; we want to show uSw; assume for a contradiction that u isn’t S-related to w (∗); then there exists ϕ such that [S]ϕ ∈ u and ¬ϕ ∈ w; next, since w Ó= u, there exists ψ with ψ ∈ w and ¬ψ ... Voir le document complet
18
A poor man's epistemic logic based on propositional assignment and higher-order observation
... dynamic epistemic logics DEL [4] and add dynamics to our observation-based epistemic ...al.’s logic LRC which has two update operations modifying visibility: revealing and concealing ... Voir le document complet
14
An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic
... mobility and epistemic/social ...existential and universal ...spatial and linear ccp using a proof-theoretical ...conception and technical ...space/belief and develop this ... Voir le document complet
13
Sujets connexes