Book Reviews |
Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12) |
Book Reviews |
The Monodic Fragment of Propositional Term Modal LogicAbstractWe study term modal logics, where modalities can be indexed by variables that can be quantified over. We suggest that these logics are appropriate for reasoning about systems of unboundedly many reasoners and define a notion of bisimulation which preserves propositional fragment of term modal logics. Also we show that the propositional fragment is already undecidable but that its monodic fragment (formulas using only one free variable in the scope of a modality) is decidable, and expressive enough to include interesting assertions. |
Dynamic Epistemic Logics of Diffusion and Prediction in Social NetworksAbstractWe take a logical approach to threshold models, used to study the diffusion of opinions, new technologies, infections, or behaviors in social networks. Threshold models consist of a network graph of agents connected by a social relationship and a threshold value which regulates the diffusion process. Agents adopt a new behavior/product/opinion when the proportion of their neighbors who have already adopted it meets the threshold. Under this diffusion policy, threshold models develop dynamically towards a guaranteed fixed point. We construct a minimal dynamic propositional logic to describe the threshold dynamics and show that the logic is sound and complete. We then extend this framework with an epistemic dimension and investigate how information about more distant neighbors' behavior allows agents to anticipate changes in behavior of their closer neighbors. Overall, our logical formalism captures the interplay between the epistemic and social dimensions in social networks. |
The Dynamics of Epistemic Attitudes in Resource-Bounded AgentsAbstractThe paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief from the concept of background knowledge. This distinction is reflected in its formal semantics and axiomatics: (i) we use a non-standard semantics putting together a neighborhood semantics for explicit beliefs and relational semantics for background knowledge, and (ii) we have specific axioms in the logic highlighting the relationship between the two concepts. Mental operations of perceptive type and inferential type, having effects on epistemic states of agents, are primitives in the object language of the logic. At the semantic level, they are modelled as special kinds of model-update operations, in the style of dynamic epistemic logic. Results about axiomatization, decidability and complexity for the logic are given in the paper. |
Jan von Plato, Saved from the Cellar. Gerhard Gentzen's Shorthand Notes on Logic and the Foundations of Mathematics |
Logics for Moderate Belief-Disagreement Between AgentsAbstractA moderate belief-disagreement between agents on proposition p means that one agent believes p and the other agent does not. This paper presents two logical systems, \(\mathbf {MD}\) and \(\mathbf {MD}^D\) , that describe moderate belief-disagreement, and shows, using possible worlds semantics, that \(\mathbf {MD}\) is sound and complete with respect to arbitrary frames, and \(\mathbf {MD}^D\) is sound and complete with respect to serial frames. Syntactically, the logics are monomodal, but two doxastic accessibility relations are involved in their semantics. The notion of moderate belief-disagreement, which is in accordance with the understanding of belief-disagreement in everyday life, is an epistemic one related to multiagent situations, and \(\mathbf {MD}\) and \(\mathbf {MD}^D\) are two epistemic logics. |
Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued LogicAbstractIn this study, we prove the completeness and cut-elimination theorems for a first-order extension F4CC of Arieli, Avron, and Zamansky's ideal paraconsistent four-valued logic known as 4CC. These theorems are proved using Schütte's method, which can simultaneously prove completeness and cut-elimination. |
Truthmakers and Normative ConflictsAbstractBy building on work by Kit Fine, we develop a sound and complete truthmaker semantics for Lou Goble's conflict tolerant deontic logic \(\mathbf {BDL}\) . |
Τετάρτη 15 Μαΐου 2019
Studia Logica
Εγγραφή σε:
Σχόλια ανάρτησης (Atom)
Δημοφιλείς αναρτήσεις
-
Publication date: Available online 4 January 2018 Source: European Journal of Radiology Author(s): Peiyao Zhang, Jing Wang, Qin Xu, Zhen...
-
Publication date: March 2017 Source: Free Radical Biology and Medicine, Volume 104 from #AlexandrosSfakianakis via Alexandros G.Sfak...
-
Dtsch med Wochenschr DOI: 10.1055/s-0043-100054 Hintergrund und Fragestellung Ein etablierter Weg, die optimale Behandlung von Tumorpatien...
-
Background Hyperthyroidism is associated with increased thrombotic risk. As contact system activation through formation of neutrophil extrac...
-
Deepak Thapa, Vanita Ahuja, Deepanshu Dhiman Indian Journal of Anaesthesia 2017 61(12):1012-1014 from #AlexandrosSfakianakis via Alexa...
-
BACKGROUND AND PURPOSE: Dengue is a common arboviral disease, which uncommonly involves the brain. There has been a recent surge in dengu...
-
Abstract Limited memory size is considered as a major bottleneck in data centers for intelligent urban computing. It is shown that there e...
-
Linked Article: Maintz et al. Br J Dermatol 2017; 176:481–487 . from #AlexandrosSfakianakis via Alexandros G.Sfakianakis on Inoreader h...
-
Publication date: Available online 28 February 2018 Source: Oral Surgery, Oral Medicine, Oral Pathology and Oral Radiology Author(s): Mo...
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου