Grigory K Olkhovikov
Grigory K Olkhovikov
We define a Kripke semantics for a conditional logic based on the propositional logic N 4 , the paraconsistent variant of Nelson's logic of strong negation; we axiomatize the minimal system induced by this semantics. The resulting logic, w...
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018 [0.03%]
第25届逻辑、语言、信息与计算研讨会（WoLLIC 2018）
Lawrence Moss,Ruy de Queiroz
Lawrence Moss
Kai Li,Jan van Eijck
Kai Li
The paper gives a formal analysis of public lies, explains how public lying is related to public announcement, and describes the process of recoveries from false beliefs engendered by public lying. The framework treats two kinds of public l...
Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic [0.03%]
动态认识逻辑中理论心智的参数复杂度
Iris van de Pol,Iris van Rooij,Jakub Szymanik
Iris van de Pol
Theory of mind refers to the human capacity for reasoning about others' mental states based on observations of their actions and unfolding events. This type of reasoning is notorious in the cognitive science literature for its presumed comp...
Antje Rumberg
Antje Rumberg
In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting...
Antti Kuusisto
Antti Kuusisto
We investigate extensions of dependence logic with generalized quantifiers. We also introduce and investigate the notion of a generalized atom. We define a system of semantics that can accommodate variants of dependence logic, possibly exte...