On epistemic logic with justification
Sergei Artemov2005
visibility
…
description
16 pages
link
1 file
Abstract 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).
This document is currently being converted. Please check back in a few minutes.
Related papers
Жусупова, А., & Сабитов, Ж. (2024). ЗНАЧИМОСТЬ РОДОВОЙ ПРИНАДЛЕЖНОСТИ С ТОЧКИ ЗРЕНИЯ КАЗАХОВ В СОВРЕМЕННОМ КАЗАХСТАНЕ . Казахстан-Спектр, 111(3).
Казахстан-Спектр, 111(3)., 2024
The Russia-Ukraine War and the Sediments of Time
Studia Philosophica Estonia, 2024
Skriveni citati kod Slobodana Selenića
Uporedna istraživanja 4, 2007
AACVOX: mobile application for augmentative alternative communication to help people with speech disorder and motor impairment
Research on Biomedical Engineering, 2018
The Era of Digital Technology in Teaching and Learning in Nigeria Educational Institutions
The Roles of Technology and Globalization in Educational Transformation, 2020
Modeling, simulation and fabrication of coated structures using the dip coating technique
Chemical Engineering Science, 2010
La révolte populaire mise en perspective: guerre des paysans 1653, révolte de la Léventine 1755, guerra delle forcelle 1799
Bollettino storico della svizzera italiana, 2002
INCU Analyzer for Infant Incubator Based on Android Application Using Bluetooth Communication to Improve Calibration Monitoring
Jurnal Teknokes, 2022
New-Onset Seizures in HIV Patients on Antiretroviral Therapy at a Tertiary Centre in South-West, Nigeria
World Journal of AIDS, 2013
Heterogeneous modeling of an autothermal membrane reactor coupling dehydrogenation of ethylbenzene to styrene with hydrogenation of nitrobenzene to aniline: Fickian diffusion model
Chemical Engineering and Processing: Process Intensification, 2014
Pedagogical Potential of Mentoring (in the Framework of Implementing the Forms “Teacher – Teacher”, “Student – Pupil”)
Publishing house Sreda eBooks, 2023
Regulation of Arrestin Translocation by Ca2+ and Myosin III in Drosophila Photoreceptors
Journal of Neuroscience, 2012
Outcome Analysis of a Pharmacist‐Managed Anticoagulation Service
Pharmacotherapy: The Journal of Human Pharmacology and Drug Therapy, 1995