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

無價值

Sedative

不如屎殼郎

,Epistemic Planning with Attention as?a?Bounded Resource,a powerful formalism for epistemic planning). We identify the framework as a fragment of standard DEL, and consider its plan existence problem. While it is undecidable in the general case, we show that when attention is required for learning, all instances of the problem are decidable.

Entrancing

Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic,ing point, we show that, among many completeness results obtained in this paper, the limit of a family of weakly aggregative logics is both exactly the modal logic of hypergraphs and also the epistemic logic of local reasoning with veracity and positive introspection. The logics studied are shown to be decidable based on a filtration construction.

膽小懦夫

,Weighted Modal Logic in Epistemic and?Deontic Contexts,or utilities. We make use of weighted Kripke models with the weights understood epistemically as a similarity measure between states and deontically as a measure of expected utilities. We present sound and complete axiomatizations for the logics, and discuss variants and possible extensions.

cochlea

MAPLE

A Generalization of Ordered-Pair Semantics, set of designated (or distinguished) values that one chooses. Building on the technical observations, we offer intuitively plausible readings for the semantics, and we also discuss some weaknesses of the original intuitive reading advanced by Clemens.

Wallow

How Knowledge Triggers Obligation, here. We motivate the logic by analyzing several scenarios and by showing how it can capture in an original manner several fundamental deontic notions such as absolute, . and all-things-considered obligations. Finally, in the dynamic epistemic logic tradition, we provide reduction axioms for the dynamic operator of the new logic.

饑荒

心胸狹窄

Conference proceedings 2021nd selected from 40 submissions. The workshop covers a wide range on the following topics such as doxastic and epistemic logics, deontic logic, intuitionistic and subsstructural logics, voting theory, and (a new..theme emphasized this year) causal inference..