Results 261 to 270 of about 5,227,274 (297)
Some of the next articles are maybe not open access.
Self-referentiality of Justified Knowledge
2008The principal result of Justification Logic is the Realization Theorem, which states that behind major epistemic modal logics there are corresponding systems of evidence/justification terms sufficient for reading all provable knowledge assertions as statements about justifications.
openaire +2 more sources
2017
A self-referential structure is a structure in which one of its members is a pointer to the structure itself.
openaire +1 more source
A self-referential structure is a structure in which one of its members is a pointer to the structure itself.
openaire +1 more source
1992
Self-Referential Systems This chapter is largely a review of the essential ideas behind the proofs of Gödel, Rosser and Löb—only presented in a more abstract setting. We believe that it will tie up these ideas in a helpful and instructive manner. We shall first present these ideas in the form of logic puzzles (much in the manner of Smtdlyan [1987 ...
openaire +1 more source
Self-Referential Systems This chapter is largely a review of the essential ideas behind the proofs of Gödel, Rosser and Löb—only presented in a more abstract setting. We believe that it will tie up these ideas in a helpful and instructive manner. We shall first present these ideas in the form of logic puzzles (much in the manner of Smtdlyan [1987 ...
openaire +1 more source
2016
This thesis focuses on expressively rich languages that can formalise talk about probability. These languages have sentences that say something about probabilities of probabilities, but also sentences that say something about the probability of themselves.
openaire +1 more source
This thesis focuses on expressively rich languages that can formalise talk about probability. These languages have sentences that say something about probabilities of probabilities, but also sentences that say something about the probability of themselves.
openaire +1 more source
1968
The standard resolution of the semantical paradoxes arising from self-referential statements is to dismiss these statements en bloc as meaningless. In a recent article, A.N.
openaire +1 more source
The standard resolution of the semantical paradoxes arising from self-referential statements is to dismiss these statements en bloc as meaningless. In a recent article, A.N.
openaire +1 more source
Prehistoric Graph in Modal Derivations and Self-Referentiality
Theory of Computing Systems, 2014Junhua Yu
exaly