Intuitionistic Logic As Epistemic Logic

Synthese 127 (1-2):7-19 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1010357829038

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Intuitionistic logic as epistemic logic.Jaakko Hintikka - 2001 - Synthese 127 (1-2):7 - 19.
Problems of Philosophy. Problem #8: The Epistemic Element in Intuitionistic Logic.[author unknown] - 1998 - Synthese 114 (3):497-497.
Logic, language-games and information: Kantian themes in the philosophy of logic.Jaakko Hintikka - 1973 - Oxford,: Clarendon Press.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
What was Aristotle doing in his early logic, anyway? A reply to Woods and Hansen.Jaakko Hintikka - 1997 - Synthese 113 (2):241-249.
The information in intuitionistic logic.Johan Benthem - 2008 - Synthese 167 (2):251-270.
The Surprise Examination in Dynamic Epistemic Logic.J. Gerbrandy - 2007 - Synthese 155 (1):21-33.
A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic.M. Kacprzak & W. Penczek - 2004 - Synthese 142 (2):203-227.
Epistemic Logic and Epistemology.Wesley H. Holliday - 2018 - In Sven Ove Hansson Vincent F. Hendricks (ed.), Handbook of Formal Philosophy. Springer. pp. 351-369.
In defense of epistemic arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.
A translation of intuitionistic predicate logic into basic predicate logic.Mohammad Ardeshir - 1999 - Studia Logica 62 (3):341-352.
Towards intuitionistic dynamic logic.J. W. Degen & J. M. Werner - 2006 - Logic and Logical Philosophy 15 (4):305-324.
Is Hintikka's Logic First-Order?Matti Eklund & Daniel Kolak - 2002 - Synthese 131 (3):371-388.
Information-seeking dialogues: Some of their logical properties. [REVIEW]Jaakko Hintikka & Esa Saarinen - 1979 - Studia Logica 38 (4):355 - 363.
Modal Logic As Dialogical Logic.Patrick Blackburn - 2001 - Synthese 127 (1-2):57-93.

Analytics

Added to PP
2016-02-27

Downloads
16 (#855,572)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Inquisitive logic as an epistemic logic of knowing how.Haoyu Wang, Yanjing Wang & Yunsong Wang - 2022 - Annals of Pure and Applied Logic 173 (10):103145.
What is categorical structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 151--161.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references