Titlebook: Logic, Rationality,and Interaction; 8th International Wo Sujata Ghosh,Thomas Icard Conference proceedings 2021 Springer Nature Switzerland

Impugn

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

法律

焦虑

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

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

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

内阁

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

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

,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

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