Reasoning about knowledge in linear logic: modalities and complexity

&
In S. Rahman (ed.), Logic, Epistemology, and the Unity of Science. Dordrecht: Kluwer Academic Publishers. pp. 327--350 (2004)
  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,394

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

Metric dynamic equilibrium logic.Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Farinas del Cerro, Torsten Schaub & Anna Schuhmann - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):495-519.
A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
Mathieu Marion and Robert S. Cohen, eds., Québec Studies in the Philosophy of Science. Part I: Logic, Mathematics, Physics, and History of Science. Essays in Honor of Hugues Leblanc Reviewed by. [REVIEW]Arthur E. Falk - 1997 - Philosophy in Review 17 (1):50-51.
Logic, epistemology and the unity of science: An encyclopedic project in the spirit of Neurath and Diderot.Shahid Rahman & John Symons - 2004 - In S. Rahman (ed.), Logic, Epistemology, and the Unity of Science. Dordrecht: Kluwer Academic Publishers. pp. 3--15.
Quantum logic and the unity of science.John Woods & Kent A. Peacock - 2004 - In S. Rahman (ed.), Logic, Epistemology, and the Unity of Science. Dordrecht: Kluwer Academic Publishers. pp. 257--287.
Reasoning about actions in dynamic linear time temporal logic.L. Giordano, A. Martelli & C. Schwind - 2001 - Logic Journal of the IGPL 9 (2):273-288.
Semantic games in logic and epistemology.Ahti-Veikko Pietarinen - 2004 - In S. Rahman (ed.), Logic, Epistemology, and the Unity of Science. Dordrecht: Kluwer Academic Publishers. pp. 57--103.
Complete axiomatizations for reasoning about knowledge and branching time.Ron van der Meyden & Ka-shu Wong - 2003 - Studia Logica 75 (1):93 - 123.
Logic, Epistemology, and the Unity of Science.S. Rahman (ed.) - 2004 - Dordrecht: Kluwer Academic Publishers.
If Logic, Game-Theoretical Semantics, and the Philosophy of Science.Ahti-Veikko Pietarinen & Gabriel Sandu - 2004 - In S. Rahman (ed.), Logic, Epistemology, and the Unity of Science. Dordrecht: Kluwer Academic Publishers. pp. 105--138.

Analytics

Added to PP
2014-01-28

Downloads
215 (#118,801)

6 months
5 (#1,043,573)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Mathieu Marion
Université du Québec à Montréal

Citations of this work

Non-normal modalities in variants of linear logic.D. Porello & N. Troquard - 2015 - Journal of Applied Non-Classical Logics 25 (3):229-255.
Um curioso estado de coisas epistêmico.Frank Thomas Sautter - 2016 - Veritas – Revista de Filosofia da Pucrs 61 (3):456-465.

Add more citations

References found in this work

Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
Logic and the complexity of reasoning.Hector J. Levesque - 1988 - Journal of Philosophical Logic 17 (4):355 - 389.
The formulæ-as-types notion of construction.W. A. Howard - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.
The Complexity of Propositional Proofs.Nathan Segerlind - 1995 - Bulletin of Symbolic Logic 1 (4):425-467.

View all 10 references / Add more references