research

Reasoning about Knowledge in Linear Logic: Modalities and Complexity

Authors
Publication date
1 January 2003
Publisher
'Springer Science and Business Media LLC'

Abstract

In a recent paper, Jean-Yves Girard commented that ”it has been a long time since philosophy has stopped intereacting with logic”[17]. Actually, it has no

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Oxford University Research Archive (ORA)

    redirect
    Last time updated on 18/04/2020

    Southampton (e-Prints Soton)

    redirect
    oaioai:eprints.soton.ac.uk:261815
    Last time updated on 05/04/2012
    Supporting member

    Oxford University Research Archive

    redirect
    oaioai:ora.ox.ac.uk:uuid:3579eeaf...
    Last time updated on 30/09/2015