Multiple-agent logic
Multiple agent possibilistic logic
... in logic, which at least dates back to Belnap ( 1977 ), whose approach was extended by Carnielli & Lima-Marques ( 1999 ...one agent in A who believes a’, which amounts to a disjunctive ...possibilistic ...
23
Reasoning with Multiple-Agent Possibilistic Logic
... on multiple-agent logic and its possibilistic ...the multiple-agent possibilistic ...to multiple-agent possibilistic ...
15
Graphical Representations of Multiple Agent Preferences
... a Multiple Agent Network The main idea consists in considering the ma-net G as a combination of local multiple agent logic ...a logic base Γ Xi containing formulas of the form ( ...
14
Graphical Representations of Multiple Agent Preferences
... A multiple-agent logic, which associates subsets of agents to logical formulas, has been recently ...this logic, based on a multiple agent version of possibilistic conditioning, ...
13
Reasoning with Multiple-Agent Possibilistic Logic
... on multiple-agent logic and its possibilistic ...the multiple-agent possibilistic ...to multiple-agent possibilistic ...
16
Multiple agent possibilistic logic
... Figure 1. The different sets of agents according to their attitude w.r.t. a. 3.3. Possibilistic semantics of the multiple agent logic We have now introduced the notions needed for presenting the ...
24
Combining Epistemic Logic and Hennessy-Milner Logic
... Epistemic logic is one of the areas where the distributed systems community got an early start [5] in the mid 1980s whereas the concurrency theory community is only just starting to use these ...epistemic ...
29
Logic on words
... Q: Or, equivalently, if it is a finite union of sets of the form XY ω , where X and Y are regular languages. But wait a minute! Why did you consider suddenly monadic second order logic? What about full second ...
20
Unification in modal logic
... Chap. 2]. When L is not structurally complete, owing to the importance of the admissibility problem in the mechanization of propositional logics, it is crucial to be able to recognize whether a given inference rule is ...
6
Traitement de l'hétérogénéité sémantique dans les interactions humain-agent et agent-agent
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
227
Adiabatic capacitive logic: A paradigm for low-power logic
... OTHER LOGIC STYLES The key differences with ACL are summarized in Table ...adiabatic logic is based on relay, its static loss is close to zero as it relies on metal-oxide-metal ...adiabatic logic ...
5
CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms
... Import of network and data CellNOptR takes as input two flat text files. The first one is a prior knowledge network (PKN) describing signed and directed interactions between proteins as a graph (cur- rently Simple ...
15
Dynamic Epistemic Logic in Update Logic
... Epistemic Logic (DEL) is an influential logical framework for reasoning about the dy- namics of beliefs and knowledge, which has drawn the attention of a number of researchers ever since the seminal publication of ...
57
Dynamic Epistemic Logic as a Substructural Logic
... Epistemic Logic as a Substructural Logic Guillaume Aucher Abstract Dynamic Epistemic Logic (DEL) is an influential logical framework for reasoning about the dynamics of beliefs and ...isolated ...
26
A Logic of Sights
... developed this concept in a more general and abstract formal setting, using LTSs with sight functions. We introduced a simple modal language augmenting the classical modal system K with an operator that allows us to ...
82
Epistemic Equilibrium Logic
... 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 Kripke models for S5 and HT ...this ...
8
Combining equilibrium logic and dynamic logic
... Dynamic Logic of Propositional Assignments In this section we define syntax and semantics of dynamic logic of propositional as- signments ( DL - PA ) and state complexity ...Coalition Logic of ...
15
Is logic empirical?
... non-distributive logic for dealing with such experimental ...this logic should be even a candidate for a revised global ...of logic at the global ...classical logic and an instrumentalist or ...
42
Distributed Automata and Logic
... modal logic was further investigated by Kuusisto in [ Kuu13a ] and [ Kuu14 ...recursive logic dubbed modal substitution ...This logic, which we shall refer to simply as the backward µ -fragment , ...
117
Dynamic context logic
... α → [X−ψ][X+ψ]α for α ∈ L P rop (13) [Y ]α → [X−ψ][X+ψ][Y ]α for α ∈ L P rop (14) Proofs are omitted for space reasons but the theorems can easily be checked semanti- cally. Let us spell out the intuitive readings of ...
13