We consider modal epistemic and doxastic logics as intuitively inadequate logics of information, and we outline a modal system of the operator being informed that which avoids inconsistency with our intuitive concept of information. The system has modal structure of the normal modal logic K4, and is sound and complete on the class of all transitive frames. We compare this logic with Floridi’s KTB information logic, and we consider a possibility of extending our system to a dynamic logic
We introduce a bimodal epistemic logic intended to capture knowledge as truth in all epistemically a...
Epistemic logic is usually employed to model two aspects of a situation: the ontic and the epistemic...
We present a formal semantics for epistemic logic, capturing the notion of knowability relative to i...
We consider modal epistemic and doxastic logics as intuitively inadequate logics of information, and...
DRAFT: please ask for permission to cite or quote It is well established that the states of knowledg...
One of the open problems in the philosophy of information is whether there is an information logic (...
It is well established that the states of knowledge and belief have been captured using systems of m...
Various conceptual approaches to the notion of information can currently be traced in the literature...
Epistemic modal logic in a narrow sense studies and formalises reasoning about knowledge. In a wide...
We often claim to know what might be—or probably is—the case. Modal knowledge along these lines crea...
Classical Epistemic Logic (EL) is a compact and powerful framework for representing an agent’s infor...
Epistemic logic investigates what agents know or believe about certain factual descriptions of the w...
In this paper I look at Fred Dretske’s account of information and knowledge as developed in Knowledg...
Epistemic logic is usually employed to model two aspects of a situation: the factual and the epistem...
One of the multiple meanings of the word ‘information’ is given implicitly in the postulates and con...
We introduce a bimodal epistemic logic intended to capture knowledge as truth in all epistemically a...
Epistemic logic is usually employed to model two aspects of a situation: the ontic and the epistemic...
We present a formal semantics for epistemic logic, capturing the notion of knowability relative to i...
We consider modal epistemic and doxastic logics as intuitively inadequate logics of information, and...
DRAFT: please ask for permission to cite or quote It is well established that the states of knowledg...
One of the open problems in the philosophy of information is whether there is an information logic (...
It is well established that the states of knowledge and belief have been captured using systems of m...
Various conceptual approaches to the notion of information can currently be traced in the literature...
Epistemic modal logic in a narrow sense studies and formalises reasoning about knowledge. In a wide...
We often claim to know what might be—or probably is—the case. Modal knowledge along these lines crea...
Classical Epistemic Logic (EL) is a compact and powerful framework for representing an agent’s infor...
Epistemic logic investigates what agents know or believe about certain factual descriptions of the w...
In this paper I look at Fred Dretske’s account of information and knowledge as developed in Knowledg...
Epistemic logic is usually employed to model two aspects of a situation: the factual and the epistem...
One of the multiple meanings of the word ‘information’ is given implicitly in the postulates and con...
We introduce a bimodal epistemic logic intended to capture knowledge as truth in all epistemically a...
Epistemic logic is usually employed to model two aspects of a situation: the ontic and the epistemic...
We present a formal semantics for epistemic logic, capturing the notion of knowability relative to i...