Reasoning about knowledge in linear logic: modalities and complexity

&
In S. Rahman, 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

View all bargains

Buy this book

Find it on Amazon.com

Links

PhilArchive

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.
On the impact of stratification on the complexity of nonmonotonic reasoning.Ilkka Niemelä & Jussi Rintanen - 1994 - Journal of Applied Non-Classical Logics 4 (2):141-179.
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.
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, 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, Logic, Epistemology, and the Unity of Science. Dordrecht: Kluwer Academic Publishers. pp. 257--287.
Complete axiomatizations for reasoning about knowledge and branching time.Ron van der Meyden & Ka-shu Wong - 2003 - Studia Logica 75 (1):93 - 123.
Semantic games in logic and epistemology.Ahti-Veikko Pietarinen - 2004 - In S. Rahman, Logic, Epistemology, and the Unity of Science. Dordrecht: Kluwer Academic Publishers. pp. 57--103.
Linear logic with fixed resources.Dmitry A. Archangelsky & Mikhail A. Taitslin - 1994 - Annals of Pure and Applied Logic 67 (1-3):3-28.

Analytics

Added to PP
2014-01-28

Downloads
233 (#174,847)

6 months
7 (#1,438,015)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Mathieu Marion
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, The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.
The formulae-as-types notion of construction.William Alvin Howard - 1980 - In Haskell Curry, Hindley B., Seldin J. Roger & P. Jonathan, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. New York: Academic Press.

View all 10 references / Add more references