Results 1  10
of
14
Action emulation
 CWI and ILLC, Amsterdam & Department of Economics
, 2004
"... Abstract. The effects of public announcements, private communications, deceptive messages to groups, and so on, can all be captured by a general mechanism of updating multiagent models with update action models [3], now in widespread use (see [10] for a textbook treatment). There is a natural exten ..."
Abstract

Cited by 12 (5 self)
 Add to MetaCart
Abstract. The effects of public announcements, private communications, deceptive messages to groups, and so on, can all be captured by a general mechanism of updating multiagent models with update action models [3], now in widespread use (see [10] for a textbook treatment). There is a natural extension of the definition of a bisimulation to action models. Surely enough, updating with bisimilar action models gives the same result (modulo bisimulation). But the converse turns out to be false: update models may have the same update effects without being bisimilar. We propose action emulation as a notion of structural equivalence more appropriate for action models, and generalizing standard bisimulation. It is proved that action emulation provides a full characterization of update effect, provided we confine attention to ‘smooth ’ action models. We also give a recipe for turning any action model into a smooth one with the same update effect. Together, this yields a simplification procedure for action models, and it gives designers of multiagent systems a useful tool for comparing different ways of representing a particular communicative action. 1.
Canonical Varieties with No Canonical Axiomatisation
 Trans. Amer. Math. Soc
, 2003
"... We give a simple example of a variety V of modal algebras that is canonical but cannot be axiomatised by canonical equations or firstorder sentences. We then show that the variety RRA of representable relation algebras, although canonical, has no canonical axiomatisation. Indeed, we show that every ..."
Abstract

Cited by 12 (7 self)
 Add to MetaCart
We give a simple example of a variety V of modal algebras that is canonical but cannot be axiomatised by canonical equations or firstorder sentences. We then show that the variety RRA of representable relation algebras, although canonical, has no canonical axiomatisation. Indeed, we show that every axiomatisation of these varieties involves infinitely many noncanonical sentences. Using probabilistic methods...
Modal Logics For Products Of Topologies
 STUDIA LOGICA
, 2004
"... We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion S4 S4. We axiomatize t ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion S4 S4. We axiomatize the modal logic of products of topological spaces with horizontal, vertical, and standard product topologies. We prove that both of these logics are complete for the product of rational numbers Q Q with the appropriate topologies.
From onion to broccoli: Generalizing lewis’s counterfactual logic
 ILLC Prepublication Series
, 2005
"... We present a generalization of Segerberg’s onion semantics for belief revision, in which the linearity of the spheres need not occur. The resulting logic is called broccoli logic. We provide a minimal relational logic, introducing a new neighborhood semantics operator. We then show that broccoli log ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
We present a generalization of Segerberg’s onion semantics for belief revision, in which the linearity of the spheres need not occur. The resulting logic is called broccoli logic. We provide a minimal relational logic, introducing a new neighborhood semantics operator. We then show that broccoli logic is a wellknown conditional logic, the BurgessVeltman minimal conditional logic. Belief revision is the study of theory change in which a set of formulas is ascribed to an agent as a belief set revisable in the face of new information. A dominant paradigm in belief revision is the socalled AGM paradigm, which describes a functional notion of revision (cf. [1]). A natural semantics in terms of sphere systems (cf. [6]) was given by Grove in [5] and a logical axiomatization was extensively studied by Segerberg (cf. [9, 10, 11, 12] and the forthcoming [13]). The resulting logic is called “dynamic doxastic logic ” (DDL). A generalization of the AGM approach in which revision is taken to be relational rather
Decidability for Justification Logics Revisited
"... Justification logics are propositional modallike logics that instead of statements A is known include statements of the form A is known for reason t where the term t can represent an informal justification for A or a formal proof of A. In our present work, we introduce modeltheoretic tools, name ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Justification logics are propositional modallike logics that instead of statements A is known include statements of the form A is known for reason t where the term t can represent an informal justification for A or a formal proof of A. In our present work, we introduce modeltheoretic tools, namely: filtrations and a certain form of generated submodels, in the context of justification logic in order to obtain decidability results. Apart from reproving already known results in a uniform way, we also prove new results. In particular, we use our submodel construction to establish decidability for a justification logic with common knowledge for which so far no decidability proof was available.
Weak models of distributed computing, with connections to modal logic
 CoRR
"... This work presents a classification of weak models of distributed computing. We focus on deterministic distributed algorithms, and we study models of computing that are weaker versions of the widelystudied portnumbering model. In the portnumbering model, a node of degree d receives messages throu ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
This work presents a classification of weak models of distributed computing. We focus on deterministic distributed algorithms, and we study models of computing that are weaker versions of the widelystudied portnumbering model. In the portnumbering model, a node of degree d receives messages through d input ports and it sends messages through d output ports, both numbered with 1, 2,..., d. In this work, VVc is the class of all graph problems that can be solved in the standard portnumbering model. We study the following subclasses of VVc: VV: Input port i and output port i are not necessarily connected to the same neighbour. MV: Input ports are not numbered; algorithms receive a multiset of messages. SV: Input ports are not numbered; algorithms receive a set of messages. VB: Output ports are not numbered; algorithms send the same message to all output ports. MB: Combination of MV and VB. SB: Combination of SV and VB. Now we have many trivial containment relations, such as SB ⊆ MB ⊆ VB ⊆ VV ⊆ VVc, but it is not obvious if, e.g., either of VB ⊆ SV or SV ⊆ VB should hold. Nevertheless, it turns out that we can identify a linear order on these classes. We prove that SB � MB = VB � SV = MV = VV � VVc. The same holds for the constanttime versions of these classes. We also show that the constanttime variants of these classes can be characterised by a corresponding modal logic. Hence the linear order identified in this work has direct implications in the study of the expressibility of modal logic. Conversely, we can use tools from modal logic to study these classes.
M4M 2007 Completeness and Complexity of MultiModal CTL
"... We define a multimodal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E δ and A δ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking ..."
Abstract
 Add to MetaCart
We define a multimodal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E δ and A δ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension at a time. We also show that the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for ctl. Keywords: Temporal logic, computation tree logic, fusion, completeness
• Soundness and Completeness
, 2012
"... We propose a new perspective on PDL as a multiagent strategic logic (MASL). This logic for strategic reasoning has group strategies as first class citizens, and brings game logic closer to standard modal logic. We show that MASL can express key notions of game theory, social choice theory and votin ..."
Abstract
 Add to MetaCart
We propose a new perspective on PDL as a multiagent strategic logic (MASL). This logic for strategic reasoning has group strategies as first class citizens, and brings game logic closer to standard modal logic. We show that MASL can express key notions of game theory, social choice theory and voting theory in a natural way. We then present a sound and complete proof system for MASL. We end by tracing connections to a number of other logics for reasoning about strategies. Overview
Peritopological Spaces and Bisimulations
"... Generalizing ordinary topological and pretopological spaces, we introduce the notion of peritopology where neighborhoods of a point need not contain that point, and some points might even have an empty neighborhood. We briefly describe various intrinsic aspects of this notion. Applied to modal logic ..."
Abstract
 Add to MetaCart
Generalizing ordinary topological and pretopological spaces, we introduce the notion of peritopology where neighborhoods of a point need not contain that point, and some points might even have an empty neighborhood. We briefly describe various intrinsic aspects of this notion. Applied to modal logic, it gives rise to peritopological models, a generalization of topological models, a spacial case of neighborhood semantics. (In a last section, the relation between the latter and the former is discussed, cursorily). A new cladding for bisimulation is presented. The concept of Alexandroff peritopology is used in order to determine the logic of all peritopological spaces, and we prove that the minimal logic K is strongly complete with respect to the class of all peritopological spaces. We also show that the classes of T0, T1 and T2peritopological spaces are not modal definable, and that D is the logic of all proper peritopological spaces.
Collective Intelligence Generation from user contributed content
"... Summary. In this paper we provide a foundation for a new generation of services and tools. We define new ways of capturing, sharing and reusing information and intelligence provided by single users and communities, as well as organizations by enabling the extraction, generation, interpretation and m ..."
Abstract
 Add to MetaCart
Summary. In this paper we provide a foundation for a new generation of services and tools. We define new ways of capturing, sharing and reusing information and intelligence provided by single users and communities, as well as organizations by enabling the extraction, generation, interpretation and management of Collective Intelligence from user generated digital multimedia content. Different layers of intelligence are generated, which together constitute the notion of Collective Intelligence. The automatic generation of Collective Intelligence constitutes a departure from traditional methods for information sharing, since information from both the multimedia content and social aspects will be merged, while at the same time the social dynamics will be taken into account. In the context of this work, we present