Zobrazeno 1 - 10
of 296
pro vyhledávání: '"justification logic"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Masoud Alvand
Publikováno v:
حکمت و فلسفه, Vol 16, Iss 63, Pp 35-60 (2020)
The K axiom in the logic of knowledge expresses this epistemological approach that knowledge is closed under known implications. For Dretske, for two reasons, the closure of knowledge cannot be tautology: first, the knowledge operator does not penetr
Externí odkaz:
https://doaj.org/article/842e5b13aa2d4bcaad30593f87d8b139
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Alessandro GIORDANI
Publikováno v:
Logic and Logical Philosophy. 30:681-709
The aim of this paper is to explore the advantages deriving from the application of relating semantics in epistemic logic. As a first step, I will discuss two versions of relating semantics and how they can be differently exploited for studying modal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bcfdfeae9564e7d31c552a5d24481224
https://doi.org/10.12775/llp.2021.024
https://doi.org/10.12775/llp.2021.024
Publikováno v:
Argument and Computation, 13(1), 3-47. IOS Press
Argument and Computation, 13(1), 3. Taylor and Francis Ltd.
Argument and Computation, 13(1), 3. Taylor and Francis Ltd.
In the 1980s, Pollock’s work on default reasons started the quest in the AI community for a formal system of defeasible argumentation. The main goal of this paper is to provide a logic of structured defeasible arguments using the language of justif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::71e097a772dae3922fa9f8820b5173f5
https://research.rug.nl/en/publications/55bdf8d3-6818-4829-baf5-3fbb6ef0cdfb
https://research.rug.nl/en/publications/55bdf8d3-6818-4829-baf5-3fbb6ef0cdfb
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Michael Baur, Thomas Studer
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030446376
CLAR
CLAR
In traditional justification logic, evidence terms have the syntactic form of polynomials, but they are not equipped with the corresponding algebraic structure. We present a novel semantic approach to justification logic that models evidence by a sem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a0c3495389595aed10d57739afe2863a
https://doi.org/10.1093/logcom/exab007
https://doi.org/10.1093/logcom/exab007