Knowledge and Intuitionistic Tense Logic

Studies in Logic, Grammar and Rhetoric 30 (43) (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,173

External links

  • This entry has no external links. Add one.
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

Intuitionism and Logical Determinism.Dariusz Surowik - 2024 - Studies in Logic, Grammar and Rhetoric 69 (1):299-320.
Philosophical Importance of Andrzeh Grzegorczyk's Work on Intuitionistic Logic.Krystyna Misiuna - 2012 - Studies in Logic, Grammar and Rhetoric 27 (40).
Herbrand Theorems: the Classical and Intuitionistic Cases.Alexander Lyaletski - 2008 - Studies in Logic, Grammar and Rhetoric 14 (27).
Tense Logics and Determinism.Dariusz Surowik - 2024 - Studies in Logic, Grammar and Rhetoric 69 (1):267-283.
A Framework for Intuitionistic Grammar Logics.Tim Lyon - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes In Computer Science. Springer Verlag. pp. 495-503.
Selected Methods of Rejecting Arguments for Determinism in Tense Logic Systems.Dariusz Surowik - 2024 - Studies in Logic, Grammar and Rhetoric 69 (1):285-298.
Improving Represntations of Knowledge within the Mizar Library.Adam Grabowski & Christoph Schwarzweller - 2009 - Studies in Logic, Grammar and Rhetoric 18 (31).
Some Problems in Representation of Knowledge in Formal Languages.Dariusz Surowik - 2012 - Studies in Logic, Grammar and Rhetoric 30 (43).
Intuitionistic tense and modal logic.W. B. Ewald - 1986 - Journal of Symbolic Logic 51 (1):166-179.
Informal Logic and Logic.J. Anthony Blair - 2009 - Studies in Logic, Grammar and Rhetoric 16 (29).

Analytics

Added to PP
2018-03-10

Downloads
4 (#1,801,982)

6 months
4 (#1,246,333)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Intuitionistic tense and modal logic.W. B. Ewald - 1986 - Journal of Symbolic Logic 51 (1):166-179.

Add more references