Impugn
发表于 2025-3-28 17:31:48
Voting Theory in the Lean Theorem Prover,puter-aided methods such as SAT solving and interactive theorem proving. In this paper, we report on the development of a framework for formalizing voting theory in the Lean theorem prover, which we have applied to verify properties of a recently studied voting method. While previous applications of
INERT
发表于 2025-3-28 22:00:52
http://reply.papertrans.cn/59/5881/588078/588078_42.png
法律
发表于 2025-3-29 00:53:02
http://reply.papertrans.cn/59/5881/588078/588078_43.png
焦虑
发表于 2025-3-29 07:01:26
A Generalization of Ordered-Pair Semantics,.. Moreover, we show that the resulting semantics can accommodate not only ., but also classical logic as well as strong Kleene logic depending on the set of designated (or distinguished) values that one chooses. Building on the technical observations, we offer intuitively plausible readings for the
OREX
发表于 2025-3-29 07:55:59
Social Bot Detection as a Temporal Logic Model Checking Problem, of social bots is dominated by machine learning approaches. In this paper we explore bot detection as a model checking problem. We introduce Temporal Network Logic (TNL) which we use to specify social networks where agents can post and follow each other. In this logic we formalize different types o
FILLY
发表于 2025-3-29 11:38:51
Assertion, Rejection, and Semantic Universals,gated disjunction ., but no word to express negated conjunction *. nor any other Boolean connective. Natural language grammar can be described by a logic that expresses what the lexicon can express by its primitives, and the rest compositionally. Such logic for propositional connectives is described
内阁
发表于 2025-3-29 16:14:14
Situated Epistemic Updates, paper we discuss representations of epistemic update in terms of situations. After linking epistemic update based on deleting epistemic accessibility arrows with update of situations, we discuss two specific kinds of public epistemic update; monotonic update in intuitionistic dynamic epistemic logi
Ordnance
发表于 2025-3-29 21:46:21
How Knowledge Triggers Obligation,o capture the . interaction between knowledge and obligations. We introduce the dynamic extension of an existing logic for knowledge-based obligations here. We motivate the logic by analyzing several scenarios and by showing how it can capture in an original manner several fundamental deontic notion
diskitis
发表于 2025-3-30 03:18:55
,On Artemov and Protopopescu’s Intuitionistic Epistemic Logic Expanded with Distributed Knowledge,mic logic ., where the axiom . is accepted but the axiom . is refused. This paper studies the notion of distributed knowledge on an expansion of the multi agent variant of .. We provide a BHK interpretation of distributed knowledge operator to define the intuitionistic epistemic logic with distribut
Antarctic
发表于 2025-3-30 04:59:03
Modelling Accuracy and Trustworthiness of Explaining Agents,nes. Such agents are naturally required to be accurate and trustworthy. However, what it means for an explaining agent to be accurate and trustworthy is far from being clear. We characterize accuracy and trustworthiness as measures of the distance between the formal properties of a given opaque syst