Results 241 to 250 of about 902,991 (274)
Conditional Obligations in Justification Logic [PDF]
Lecture Notes in Computer Science, 2023 This paper presents a justification counterpart for dyadic deontic logic, which is often argued to be better than Standard Deontic Logic at representing conditional and contrary-to-duty obligations, such as those exemplified by the notorious Chisholm's puzzle.
Federico L G Faroldi, Thomas Studer
exaly +5 more sources
Justification Logic with Confidence
Studia Logica, 2019 The paper studies the justification logics in which modality has the following interpretation: \([\![\tau ]\!]\varphi\) means `\(S\) accepts \(\tau\) as justification for \(\varphi\)'. The modalities in this logic include an additional parameter to express the level of confidence that the agent derives in propositions on the basis of pieces of ...
John Quiggin, Ted Shear
exaly +7 more sources
Justification logic for constructive modal logic [PDF]
FLAP, 2021 We provide a treatment of the intuitionistic ◊ modality in the style of justification logic. We introduce a new type of terms, called satisfiers, that justify consistency, obtain justification analogs for the constructive modal logics CK, CD, CT, and CS4, and prove the realization theorem for them.
Kuznets, Roman +2 more
openaire +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Paraconsistent Logic, Evidence, and Justification
Studia Logica, 2017zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Melvin Fitting
exaly +3 more sources
Multi-agent Justification Logic: communication and evidence elimination [PDF]
SynthÈse, 2011 This paper presents a logic combining , a framework for reasoning about multi-agent communication, with a new multi-agent version of , a framework for reasoning about evidence and justification.
Bryan Renne
exaly +4 more sources
Possibilistic Justification Logic
ACM Transactions on Computational Logic, 2017 Justification logic originated from the study of the logic of proofs. However, in a more general setting, it may be regarded as a kind of explicit epistemic logic.
Churn-Jung Liau
exaly +2 more sources
The Review of Symbolic Logic, 2008
We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertionst:Fthat readt is a justification for F.
openaire +2 more sources
We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertionst:Fthat readt is a justification for F.
openaire +2 more sources
Justifications for Logic Programming
2013Understanding why and how a given answer to a query is generated from a deductive or relational database is fundamental to obtain justifications, assess trust, and detect dependencies on contradictions. Propagating provenance information is a major technique that evolved in the database literature to address the problem, using annotated relations with ...
Carlos Viegas Damásio +2 more
openaire +2 more sources