胰脏 发表于 2025-3-25 04:53:46
Focusing on Campaigns,ocusing their attention on the intricacies of political campaigns. Drawing on recent work developing a theory of ., we study the dynamics of voters’ opinions during an election. In this paper, we develop a model in which the relative importance of the different issues that concern a voter may change指令 发表于 2025-3-25 10:24:09
A Non-classical Logical Approach to Social Software,social procedures by using tools in logic and computer science. However, to the best of my knowledge, social software has not been considered from a non-classical logical perspective. In this paper, I argue how non-classical logical approaches can enrich, broaden and support the agenda of social sof物质 发表于 2025-3-25 13:15:39
Talking About Knowledge, little piece, a programmatic sequel to van Benthem (.) and a prequel to Baltag et al. (.), I add some further perspectives and issues to this mix from dynamic-epistemic logics of information and inquiry. My aim is to show that we can have a yet richer agenda of epistemic themes, and a richer view o类人猿 发表于 2025-3-25 16:32:17
The Pleasure of Gossip,f gossip protocols. Gossip protocols describe the dissemination of information over a network. We present some examples of epistemic gossip protocols, wherein the agents or processes communicate with each other by peer-to-peer contact (telephone calls), as in the usal gossip protocols, but wherein tHOWL 发表于 2025-3-25 23:15:10
http://reply.papertrans.cn/84/8315/831489/831489_25.png毗邻 发表于 2025-3-26 01:23:53
The Logic of Approximate Dependence, Here we consider another kind of limited information, namely information with a small number of errors, and prove a related completeness theorem. We point out that this approach naturally leads to considering multi-teams in the team semantics that lies behind (Parikh and Väänänen .).SENT 发表于 2025-3-26 07:33:13
http://reply.papertrans.cn/84/8315/831489/831489_27.png新字 发表于 2025-3-26 12:01:39
Epistemic Conditionals and the Logic of Subsets,assertions about beliefs, as well as beliefs about conditional assertions. We present a complete axiomatization of the logic and show that it is decidable. A version of the Ramsey test is found to be compatible with this logic and provides a correspondence between conditionals and belief contractionliposuction 发表于 2025-3-26 15:10:01
http://reply.papertrans.cn/84/8315/831489/831489_29.pngHAVOC 发表于 2025-3-26 18:55:54
Aristotle, Boole, and Categories,former organizes the syllogisms as a . table partitioned into four connected components according to which term if any must be inhabited. We give two natural-deduction style axiomatizations, one with four axioms and four rules, the second with one axiom and six rules. The table provides immediately