Filters








6,096 Hits in 8.5 sec

Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version) [article]

Andrés Occhipinti Liberman, Rasmus K. Rendsvig
2019 arXiv   pre-print
Logics for social networks have been studied in recent literature. This paper presents a framework based on *dynamic term-modal logic* (DTML), a quantified variant of dynamic epistemic logic (DEL).  ...  We exemplify dynamics where such uncertainty and de re/de dicto distinctions are key to social network epistemics.  ...  Term-Modal Logic and Epistemic Network Structures In general, term-modal languages may be based on any first-order signature, by for the purposes of representing social networks and factual properties  ... 
arXiv:1908.09658v1 fatcat:wbbac3tplnfizcgboynfz25sje

Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12)

Giacomo Bonanno, Wiebe van der Hoek, Andrés Perea
2018 Studia Logica: An International Journal for Symbolic Logic  
In its original conception, LOFT had as its central theme the application of logic, in particular modal epistemic logic, to foundational issues in the theory of games and individual decisionmaking.  ...  , mind sciences, philosophy and social choice.  ...  In the paper "Dynamic epistemic logic of diffusion and prediction in social networks", Alexandru Baltag, Zoé Christoff, Rasmus Kraemmer Rendsvig and Sonja Smets present a logical approach to threshold  ... 
doi:10.1007/s11225-018-9803-y fatcat:66cpo7oswnejphheefmqqyk6cm

Ten-Year History of Social Network Logics in China

Fenrong Liu, Dazhu Li
2022 Asian Studies  
The paper presents a ten-year history of social network logics in China.  ...  We thank Zhen Liang for providing a summary of his works, and Yi Wang for sharing his papers with us. We are grateful to Bo Chen for inviting us to this special issue.  ...  Finally, we want to thank Johan van Benthem and the two anonymous reviewers for their very helpful comments.  ... 
doi:10.4312/as.2022.10.2.121-146 fatcat:qztxrkmpozgwxgvt4ihvut4wgm

Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks

Alexandru Baltag, Zoé Christoff, Rasmus K. Rendsvig, Sonja Smets
2018 Studia Logica: An International Journal for Symbolic Logic  
Overall, our logical formalism captures the interplay between the epistemic and social dimensions in social networks.  ...  We construct a minimal dynamic propositional logic to describe the threshold dynamics and show that the logic is sound and complete.  ...  We would like to thank the anonymous reviewers for their insightful comments.  ... 
doi:10.1007/s11225-018-9804-x fatcat:fmp65f6y35htljjwayutbusnf4

Computation as social agency: What, how and who

Johan van Benthem
2018 Information and Computation  
Modern computation may be seen as agency in social networks with communication links and a wide range of available actions.  ...  The other channel is the rise of games as a paradigm for interactive computation, leading to 'gamification' of computing tasks and of logical notions themselves.  ...  As for written sources elaborating on our presentation, the reader may consult van Benthem 2008 van Benthem , 2011 van Benthem , 2014 .  ... 
doi:10.1016/j.ic.2017.09.009 fatcat:i63hs6rcejcgpnngxgk6a76wxa

A Logic for Knowledge Flow in Social Networks [chapter]

Ji Ruan, Michael Thielscher
2011 Lecture Notes in Computer Science  
Specifically, we propose a multi-agent epistemic logic in which we can represent and reason about communicative actions based on social networks and the resulting knowledge and ignorance of agents.  ...  In this paper, we develop a formal framework for analysing the flow of information and knowledge through social networks.  ...  Unlike the language for Public Announcement Logic, our language has a special kind of atomic propositions f (i,j) , indicating that agent i follows j, and dynamic modalities π for social network changing  ... 
doi:10.1007/978-3-642-25832-9_52 fatcat:pqw6fypgwfhhhk32m3sny656ly

Page 7001 of Mathematical Reviews Vol. , Issue 96k [page]

1996 Mathematical Reviews  
The authors propose an epistemic default logic based on an S5- like modal logic containing, in addition to the usual certainty operator, a special modality indicating that some assertion holds by default  ...  On top of this (monotonic) modal logic, a nonmonotonic entailment relation is defined in the spirit of earlier work of Halpern and Moses on minimal epistemic states.  ... 

Computation as Conversation [chapter]

Johan van Benthem
2008 New Computational Paradigms  
Against the backdrop of current research into 'logical dynamics' of information, we discuss twoway connections between conversation and computation, leading to a broader perspective on both.  ...  In a dynamic epistemic setting, geometric confluence reflects commutativity laws for modalities (Halpern & Vardi 1989 , van Benthem 2001 which may make logics undecidable -though the precise recipe for  ...  While dynamic epistemic logics provide a rich account of effects of events that carry information, their expressive power has a price in terms of computational complexity.  ... 
doi:10.1007/978-0-387-68546-5_3 fatcat:txxxurbl7baf7dlywdplm3o5lu

Model Checking Social Network Models

Raúl Pardo, Gerardo Schneider
2017 Electronic Proceedings in Theoretical Computer Science  
The "logic of knowledge" (epistemic logic) is thus a good formalism to define, and reason about, privacy policies.  ...  A social network service is a platform to build social relations among people sharing similar interests and activities.  ...  and Social Network Models K BL is a knowledge-based logic for social networks.  ... 
doi:10.4204/eptcs.256.17 fatcat:wjtkkcpq2neyvlkcc7wlhnzozq

Editorial Foreword

Natasha Alechina, Valentin Goranko
2020 Journal of Logic, Language and Information  
The main technical result is a sound and complete axiom system formalising reasoning about update operations of social networks, using ideas and techniques from dynamic epistemic logic.  ...  The authors propose a modal logic for reasoning about structural properties of signed social networks, and provide a sound and complete Hilbert-style axiomatic system for it and for some natural extensions  ... 
doi:10.1007/s10849-020-09314-7 fatcat:n7b7dser7barnoneedo4t2tbhi

A Policy-Aware Epistemic Framework for Social Networks

Zahra Moezkarimi, Fatemeh Ghassemi, Mohammad Reza Mousavi
2022 Journal of Logic and Computation  
in social networks.  ...  Furthermore, we specify global privacy policies, those concerning multiple actions, using a combination of modal $\mu $-calculus and epistemic logic.  ...  Another direction for future work is state space reduction, e.g. by reducing τ appearances of actions and/or considering an abstract description of a social network.  ... 
doi:10.1093/logcom/exac025 fatcat:6zda7plasbdchjvdjw2ri3l5wq

Logic in general philosophy of science: old things and new things

Hannes Leitgeb
2010 Synthese  
We defend and advertise the application of logical methods in philosophy of science, starting with the beginnings in the Vienna Circle and ending with some more recent logical developments.  ...  This is a personal, incomplete, and very informal take on the role of logic in general philosophy of science, which is aimed at a broader audience.  ...  Beth Centenary Conference 2008 in Amsterdam for their invaluable comments and suggestions.  ... 
doi:10.1007/s11229-010-9776-5 fatcat:5gh5ltdctfdtznfiwm7ucsmk6u

Facebook and the Epistemic Logic of Friendship [article]

Jeremy Seligman, Fenrong Liu, Patrick Girard
2013 arXiv   pre-print
in dynamic epistemic logic (DEL) and related systems.  ...  This paper presents a two-dimensional modal logic for reasoning about the changing patterns of knowledge and social relationships in networks organised on the basis of a symmetric 'friendship' relation  ...  from n to m, answered positively amounts to an announcement by 14 For dealing with questions in terms of issue management in standard dynamic epistemic logic, we refer to [13] .  ... 
arXiv:1310.6440v1 fatcat:qbejuxo5crfn3dg7qaravvfhp4

Timed Epistemic Knowledge Bases for Social Networks (Extended Version) [article]

Raúl Pardo, César Sánchez, Gerardo Schneider
2018 arXiv   pre-print
Online Social Networks (OSNs) are increasingly used for social interactions in the modern digital era, which bring new challenges and concerns in terms of privacy.  ...  Policies are modelled as formulae in the logic, which are interpreted over timed traces representing the evolution of the social network.  ...  Unfortunately, this logic lacks of a knowledge modality, and is not tailored for social networks.  ... 
arXiv:1708.04070v3 fatcat:7bx26dnppvdrpf364v6lfr2xey

Evidence elimination in multi-agent justification logic

Bryan Renne
2009 Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge - TARK '09  
This paper presents a logic combining Dynamic Epistemic Logic, a framework for reasoning about multi-agent communication, with a new multi-agent version of Justification Logic, a framework for reasoning  ...  This novel combination incorporates a new kind of multi-agent evidence elimination that cleanly meshes with the multi-agent communications from Dynamic Epistemic Logic, resulting in a system for reasoning  ...  While a communication can affect agent belief, the language of Dynamic Epistemic Logic-itself an extension of the language of modal logic-does not provide us with the means to describe reasons for such  ... 
doi:10.1145/1562814.1562845 dblp:conf/tark/Renne09 fatcat:yvlmme4ojbhmlayjo7ljpfdrti
« Previous Showing results 1 — 15 out of 6,096 results