Epistemic Modal Logic

en.wikipedia.orgsite

Wikipedia.

from

AGI & CoCoSci

added

2026-10-10

likes

0

similar

1. ▲
   Logics for Epistemic Programs link.springer.com

   site category #agi-cocosci link ↗

   Synthese, 2004. [All Versions].

   
2. ▲
   Modal Logic plato.stanford.edu

   site category #agi-cocosci link ↗

   Plato Stanford. A computational philosophy account on Modal Logic, which is the study of the deductive behavior of the expressions 'it is necessary that' and 'it is possible that'.

3. ▲
   Epistemic Logic plato.stanford.edu

   site category #agi-cocosci link ↗

   Plato Stanford. A computational philosophy account on Epistemic Logic, which is a subfield of epistemology concerned with logical approaches to knowledge, belief and related notions.

4. ▲
   Situation Calculus en.wikipedia.org

   site category #agi-cocosci link ↗

   Wikipedia. Wikipedia on Situation Calculus, a logic formalism designed for representing and reasoning about dynamical domains.

5. ▲
   Temporal Logic plato.stanford.edu

   site category #agi-cocosci link ↗

   Plato Stanford.

6. ▲
   Metascience en.wikipedia.org

   site category #agi-cocosci link ↗

   Wikipedia.

AGI & CoCoSci › Papers > Knowledge Representation: “Wikipedia.”