Abstract | ||
---|---|---|
Issues about information spring up wherever one scratches the surface of logic. Here is a case that raises delicate issues
of ‘factual’ versus ‘procedural’ information, or ‘statics’ versus ‘dynamics’. What does intuitionistic logic, perhaps the earliest source of informational and procedural thinking in contemporary logic, really tell us about information?
How does its view relate to its ‘cousin’ epistemic logic? We discuss connections between intuitionistic models and recent
protocol models for dynamic-epistemic logic, as well as more general issues that emerge. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/s11229-008-9408-5 | Synthese |
Keywords | DocType | Volume |
Information,Intuitionistic logic,Epistemic logic,Dynamic logic | Journal | 167 |
Issue | ISSN | Citations |
2 | 0039-7857 | 9 |
PageRank | References | Authors |
0.92 | 1 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Johan van Benthem | 1 | 1181 | 107.83 |