Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Doxastic_logic> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- Doxastic_logic abstract "Doxastic logic is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means "belief." Typically, a doxastic logic uses 'Bx' to mean "It is believed that x is the case," and the set denotes a set of beliefs. In doxastic logic, belief is treated as a modal operator. {}There is complete parallelism between a person who believes propositions and a formal system that derives propositions. Using doxastic logic, one can express the epistemic counterpart of Gödel's incompleteness theorem of metalogic, as well as Löb's theorem, and other metalogical results in terms of belief.".
- Doxastic_logic wikiPageID "12065590".
- Doxastic_logic wikiPageRevisionID "582721900".
- Doxastic_logic hasPhotoCollection Doxastic_logic.
- Doxastic_logic subject Category:Belief.
- Doxastic_logic subject Category:Belief_revision.
- Doxastic_logic subject Category:Modal_logic.
- Doxastic_logic subject Category:Reasoning.
- Doxastic_logic comment "Doxastic logic is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means "belief." Typically, a doxastic logic uses 'Bx' to mean "It is believed that x is the case," and the set denotes a set of beliefs. In doxastic logic, belief is treated as a modal operator. {}There is complete parallelism between a person who believes propositions and a formal system that derives propositions.".
- Doxastic_logic label "Doxastic logic".
- Doxastic_logic label "Doxastische Logik".
- Doxastic_logic label "Lógica doxástica".
- Doxastic_logic sameAs Doxastische_Logik.
- Doxastic_logic sameAs Lógica_doxástica.
- Doxastic_logic sameAs m.02vnngq.
- Doxastic_logic sameAs Q669180.
- Doxastic_logic sameAs Q669180.
- Doxastic_logic wasDerivedFrom Doxastic_logic?oldid=582721900.
- Doxastic_logic isPrimaryTopicOf Doxastic_logic.