The paper suggests a definition of "know who" as a modality using Grove-Halpern semantics of names. It also introduces a logical system that describes the interplay between modalities "knows who", "knows", and "for all agents". The main technical result is a completeness theorem for the proposed system
textabstractThis paper presents a logical system in which various group-level epistemic actions are ...
Modal logic S5 is commonly viewed as an epistemic logic that captures the most basic properties of k...
Abstract: In Section 8 of [2] of References in the end of this paper, we give out two logical system...
The paper suggests a definition of "know who" as a modality using Grove-Halpern semantics of names. ...
This article proposes an account of knowing-who constructions within a generalisation of Hintikka’s ...
This paper is a contribution to the semantical theory of di#erent types of knowledge ascription, in...
A new language for epistemic logic is introduced in which the epistemic operators are of the form | ...
Classic epistemic logic focuses on propositional knowledge expressed by “knowing that ” operators. H...
AbstractModal epistemic logics for many agents sometimes ignore or simplify the distinction between ...
The verb ‘to know’ can be used both in ascriptions of propositional knowledge (e.g. ‘Mary knows that...
The aim of epistemic logics is to formalize epistemic states and actions of (possibly human) rationa...
The verb \u2018to know\u2019 can be used both in ascriptions of propositional knowledge (e.g. \u2018...
We present a formal semantics for epistemic logic, capturing the notion of knowability relative to i...
This paper revisits the multi-agent epistemic logic presented in [10], where agents and sets of agen...
We want to consider a dialog situation between a system and a heterogeneous group of dialog partners...
textabstractThis paper presents a logical system in which various group-level epistemic actions are ...
Modal logic S5 is commonly viewed as an epistemic logic that captures the most basic properties of k...
Abstract: In Section 8 of [2] of References in the end of this paper, we give out two logical system...
The paper suggests a definition of "know who" as a modality using Grove-Halpern semantics of names. ...
This article proposes an account of knowing-who constructions within a generalisation of Hintikka’s ...
This paper is a contribution to the semantical theory of di#erent types of knowledge ascription, in...
A new language for epistemic logic is introduced in which the epistemic operators are of the form | ...
Classic epistemic logic focuses on propositional knowledge expressed by “knowing that ” operators. H...
AbstractModal epistemic logics for many agents sometimes ignore or simplify the distinction between ...
The verb ‘to know’ can be used both in ascriptions of propositional knowledge (e.g. ‘Mary knows that...
The aim of epistemic logics is to formalize epistemic states and actions of (possibly human) rationa...
The verb \u2018to know\u2019 can be used both in ascriptions of propositional knowledge (e.g. \u2018...
We present a formal semantics for epistemic logic, capturing the notion of knowability relative to i...
This paper revisits the multi-agent epistemic logic presented in [10], where agents and sets of agen...
We want to consider a dialog situation between a system and a heterogeneous group of dialog partners...
textabstractThis paper presents a logical system in which various group-level epistemic actions are ...
Modal logic S5 is commonly viewed as an epistemic logic that captures the most basic properties of k...
Abstract: In Section 8 of [2] of References in the end of this paper, we give out two logical system...
DOI
Add to ORKG