Knowledge and the problem of logical omniscience
Proceedings of the Second International Symposium on Methodologies for intelligent systems
Reasoning about knowledge
Provability Logic with Operations on Proofs
LFCS '97 Proceedings of the 4th International Symposium on Logical Foundations of Computer Science
Models for the Logic of Proofs
LFCS '97 Proceedings of the 4th International Symposium on Logical Foundations of Computer Science
Kolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge
LCC '94 Selected Papers from the International Workshop on Logical and Computational Complexity
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Journal of Logic, Language and Information
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Knowledge-based modelling of voting protocols
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Dealing with logical omniscience
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Knowledge, proof and the Knower
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Propositional games with explicit strategies
Information and Computation
Pillars of computer science
Topological semantics of justification logic
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
Logic of proofs for bounded arithmetic
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
Logical omniscience via proof complexity
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Arguing with justifications between collaborating agents
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
| Hi-index | 0.00 |
The true belief components of Plato's tripartite definition of knowledge as justified true belief are represented in formal epistemology by modal logic and its possible worlds semantics. At the same time, the justification component of Plato's definition did not have a formal representation. This paper introduces the notion of justification into formal epistemology. Epistemic logic with justification, along with the usual knowledge operator □F (F is known), contains assertions t:F (t is a justification for F). We suggest an epistemic semantics which augments Kripke models with a natural Fitting-style treatment of justification assertions t:F. Completeness and some new specific properties of basic systems of epistemic logic with justification are established.