Hackpads are smart collaborative documents. .
663 days ago
Unfiled. Edited by Claudia Doppioslash 663 days ago
WIP: "???" indicates I didn't catch whatever he said, I'll put the times when he said it within [], according to the mp4 files.
698 days ago
Unfiled. Edited by Claudia Doppioslash 698 days ago
  • Found this paper this month... Will need to learn Coq!!!!! :D
  • Almost about to learn it myself :) I got a couple of online books, which I assume you probably already found?
708 days ago
Unfiled. Edited by Doktor Towerstein 708 days ago
Here are a couple of good papers on dynamic epistemic logic and other useful modal logics:
Belief revision with plausibility values for states and actions:
A nice course on Dynamic Epistemic Logic using... Haskell!!!
History of Dynamic Epistemic Logic:
Planning based on a temporal logic (maybe belongs to planning?):
717 days ago
Unfiled. Edited by Claudia Doppioslash 717 days ago
You'll need it to keep up with the discussion, the agents need to be modelled in some type of Logic. Which one is best is open to debate.

Stop sharing the collection with ?

This pad is open to "", so will still be able to access it.
Logic Feed

Contact Support

Please check out our How-to Guide and FAQ first to see if your question is already answered! :)

If you have a feature request, please add it to this pad. Thanks!

Log in