• Aucun résultat trouvé

[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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

Show all 10000 documents...