Results 251 to 260 of about 902,991 (274)

Justification Logic

2008
Justification Logic offers a new approach to a theory of knowledge, belief, and evidence, which possesses the potential to have significant impact on applications. The celebrated account of knowledge as justified true belief , which is attributed to Plato, has long been a focus of epistemic studies (cf. [10,15,18,26,30,32] and many others).
openaire   +2 more sources

What Are Justification Logics?

Fundamenta Informaticae, 2019
Justification logic began with Sergei Artemov’s work providing an arithmetic semantics for intuitionistic logic. As part of that work, a small number of explicit modal logics were introduced—logics in which there was a structure of terms that kept track of not just what was a necessary truth, but why it was necessary.
openaire   +3 more sources

A new framework for justification logic

Journal of Applied Non-Classical Logics, 2015
The logic of justification provides an in-depth analysis of the epistemic states of an agent. This paper aims at solving some of the problems to which the common interpretation of the operators of justification logic is subject by providing a framework in which a crucial distinction between potential and explicit justifiers is exploited.
openaire   +2 more sources

Introducing Justification into Epistemic Logic

Journal of Logic and Computation, 2005
Plato's tripartite definition of knowledge as justified true belief (JTB) is generally regarded as a set of necessary conditions for the possession of knowledge. The true belief components the JTB definition are represented in formal epistemology by modal logic and its possible worlds semantics.
Sergei N. Artëmov, Elena Nogina
openaire   +2 more sources

The Logic of Uncertain Justifications

2013
In Artemov’s Justification Logic, one can make statements interpreted as “t is evidence for the truth of formula F.” We propose a variant of this logic in which one can say “I have degree r of confidence that t is evidence for the truth of formula F.” After defining both an axiomatic approach and a semantics for this Logic of Uncertain Justifications ...
openaire   +2 more sources

Distributed Knowledge Justification Logics

Theory of Computing Systems, 2013
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

The Ontology of Justifications in the Logical Setting

Studia Logica, 2012
The author deals with the question of the nature of justifications, within the context of justification logic. He notes that justifications could be interpreted as sets of formulas fulfilling certain conditions and he then characterizes a semantics in which justifications are given such an interpretation.
openaire   +3 more sources

Topological Semantics of Justification Logic

2008
The Justification Logic is a family of logical systems obtained from epistemic logics by adding new type of formulas t:F which reads as t is a justification for F. The major epistemic modal logic S4 has a well-known Tarski topological interpretation which interprets □F as the interior of F (a topological equivalent of the 'knowable part of F'). In this
Sergei N. Artëmov, Elena Nogina
openaire   +2 more sources

Logics of Justification and Logics of Action

Journal of Economic Issues, 2008
AbstractThis article attempts to contribute to the debate on institutional logics, logics of action, identities, and the like, as part of the larger debate about both the concept of institutions and the theory of how institutions influence our thought and behavior. It proposes a distinction between logics of justification and logics of action.
openaire   +1 more source

The Justification of the Logical Laws Revisited

Synthese, 2006
The proof-theoretic analysis of logical semantics undermines the received view of proof theory as being concerned with symbols devoid of meaning, and of model theory as the sole branch of logical theory entitled to access the realm of semantics. The basic tenet of proof-theoretic semantics is that meaning is given by some rules of proofs, in terms of ...
openaire   +2 more sources