A Bi-Modal Characterization of Epistemic Logic

Annals of the Japan Association for Philosophy of Science 5 (3):135-155 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Elementary classes in basic modal logic.Holger Sturm - 2000 - Studia Logica 64 (2):193-213.
A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
Intricate Axioms as Interaction Axioms.Guillaume Aucher - 2015 - Studia Logica 103 (5):1035-1062.
Minimal Axiomatization in Modal Logic.Fabio Bellissima & Saverio Cittadini - 1997 - Mathematical Logic Quarterly 43 (1):92-102.
A Modal Logic For Quantification And Substitution.Yde Venema - 1994 - Logic Journal of the IGPL 2 (1):31-45.
Expressive Logics for Coalgebras via Terminal Sequence Induction.Dirk Pattinson - 2004 - Notre Dame Journal of Formal Logic 45 (1):19-33.
What one may come to know.van Benthem Johan - 2004 - Analysis 64 (2):95–105.
Epistemic Entitlement and Luck.Sandy Goldberg - 2014 - Philosophy and Phenomenological Research 91 (2):273-302.
AN EPISTEMIC PARADOX.Byron Kaldis - 1991 - Logique Et Analyse (123-124):251-256.
Is there a logic of information?Gregory Wheeler - 2015 - Journal of Theoretical and Applied Artificial Intelligence 27 (1):95-98.

Analytics

Added to PP
2016-06-30

Downloads
28 (#569,795)

6 months
8 (#361,431)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On Some Completeness Theorems in Modal Logic.D. Makinson - 1966 - Mathematical Logic Quarterly 12 (1):379-384.
Tableau methods of proof for modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (2):237-247.
Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archiv für Philosophie 5 (4):375.
Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archive for Mathematical Logic 2 (2-4):55.

View all 7 references / Add more references