{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:41:10Z","timestamp":1725529270359},"publisher-location":"Dordrecht","reference-count":45,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048124862"},{"type":"electronic","value":"9781402028083"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-2808-3_17","type":"book-chapter","created":{"date-parts":[[2009,3,13]],"date-time":"2009-03-13T14:51:22Z","timestamp":1236955882000},"page":"327-350","source":"Crossref","is-referenced-by-count":4,"title":["Reasoning About Knowledge In Linear Logic: Modalities and Complexity"],"prefix":"10.1007","author":[{"given":"Mathieu","family":"Marion","sequence":"first","affiliation":[]},{"given":"Mehrnouche","family":"Sadrzadeh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1_17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","author":"S. Abramsky","year":"1993","unstructured":"Abramsky, S.: 1993, \u2018Computational Interpretations of Linear Logic\u2019, Theoretical Computer Science 111, 3\u201357.","journal-title":"Theoretical Computer Science"},{"key":"17_CR2_17","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0304-3975(88)90037-0","volume":"57","author":"A. Avron","year":"1988","unstructured":"Avron, A.: 1988, \u2018Syntax and Semantics of Linear Logic\u2019, Theoretical Computer Science 57, 161\u2013184","journal-title":"Theoretical Computer Science"},{"key":"17_CR3_17","volume-title":"Situations and Attitudes","author":"J. Barwise","year":"1983","unstructured":"Barwise, J. and J. Perry: 1983, Situations and Attitudes, Cambridge MA, MIT Press."},{"key":"17_CR4_17","volume-title":"Cut-Elimination for Full Intuitionistic Linear Logic","author":"T. Brauner","year":"1996","unstructured":"Brauner, T. and V. de Paiva: 1996, \u2018Cut-Elimination for Full Intuitionistic Linear Logic\u2019, Technical Report 395, Computer Laboratory University of Cambridge and BRICKS, Denmark."},{"key":"17_CR5_17","unstructured":"Caldwell, J.: 1998, \u2018Decidability Extracted: Synthesizing Correct-by-Construction Decision Pro-decure from Constructive Proofs\u2019, Ph.D. thesis, Cornell University."},{"key":"17_CR6_17","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1090\/S0273-0979-97-00715-5","volume":"34","author":"A. Carbone","year":"1997","unstructured":"Carbone, A. and S. Semmes: 1997, \u2018Making Proofs without Modus Ponens: An Introduction to the Combinatorics and Complexity of Cut Elimination\u2019, Bulletin of the American Mathematical Society 34, 131\u2013159.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"17_CR7_17","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90005-3","volume":"76","author":"T. Coquand","year":"1988","unstructured":"Coquand, T. and G. Huet: 1988, \u2018The Calculus of Constructions\u2019, Information and Computation 76, 95\u2013120.","journal-title":"Information and Computation"},{"key":"17_CR8_17","unstructured":"Cornes, C., J. Courant, J-C. Filliatre, G. Huet, P. Manoury, C. Murioz, C. Murthy, C. Parent, C. Paulin-Mohring, A. Saibi and B. Werber: 1999\u20132003, The Coq Proof Assistant Reference Manual, Version 7.4, Rapport Technique 177, INRIA."},{"key":"17_CR9_17","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1017\/S001221730000929X","volume":"36","author":"J. Dubucs","year":"1997","unstructured":"Dubucs, J.: 1997, \u2018Logique, effectivit\u00e9 et faisabilit\u00e9\u2019, Dialogue 36, 45\u201368.","journal-title":"Dialogue"},{"key":"17_CR10_17","first-page":"141","volume-title":"Jaakko Hintikka. Questions de logique et de ph\u00e9nom\u00e9nologie","author":"J. Dubucs","year":"1998","unstructured":"Dubucs, J.: 1998, \u2018Hintikka et la question de l'omniscience logique\u2019, in E. Rigal (ed.), Jaakko Hintikka. Questions de logique et de ph\u00e9nom\u00e9nologie, Paris, Vrin, pp. 141\u2013148."},{"key":"17_CR11_17","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1023\/A:1020332703930","volume":"132","author":"J. Dubucs","year":"2002","unstructured":"Dubucs, J.: 2002, \u2018Feasibility in Logic\u2019, Synthese 132, 213\u2013237.","journal-title":"Synthese"},{"key":"17_CR12_17","first-page":"235","volume-title":"Philosophical Dimensions of Logic and Science. Selected Contributed Papers from the 11th International Congress of Logic, Methodology, and the Philosophy of Science","author":"J. Dubucs","year":"2003","unstructured":"Dubucs, J. and M. Marion: 2003, \u2018Radical Anti-Realism and Substructural Logics\u2019, in A. Rojszczak, J. Cachro and G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Selected Contributed Papers from the 11th International Congress of Logic, Methodology, and the Philosophy of Science, Krak\u00f2w, 1999, Dordrecht, Kluwer, pp. 235\u2013249."},{"key":"17_CR13_17","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/BF00883100","volume":"26","author":"R. A. Eberle","year":"1974","unstructured":"Eberle, R. A.: 1974, \u2018A Logic of Believing, Knowing and Inferring\u2019, Synthese 26, 356\u2013382.","journal-title":"Synthese"},{"key":"17_CR14_17","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., J. Y. Halpern, Y. Moses and M. Y. Vardi: 1995, Reasoning about Knowledge, Cambridge MA, MIT Press."},{"key":"17_CR15_17","doi-asserted-by":"crossref","unstructured":"Felty, A.: 2002, \u2018Two-Level Meta-Reasoning in Coq\u2019, Fifteenth International Conference on Theorem Proving in Higher Order Logics, Springer-Verlag LNCS 2410.","DOI":"10.1007\/3-540-45685-6_14"},{"key":"17_CR16_17","first-page":"63","volume-title":"Proceedings of the Second Scandinavian Logic Symposium","author":"J.-Y. Girard","year":"1970","unstructured":"Girard, J.-Y.: 1970, \u2018Une extension de l'interpr\u00e9tation de G\u00f6del a l'analyse et son application a l'elimination des coupures dans l'analyse et la th\u00e9orie des types\u2019, in J.-E. Fenstad (ed.), Proceedings of the Second Scandinavian Logic Symposium, Amsterdam, North-Holland, pp. 63\u201392."},{"key":"17_CR17_17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y. Girard","year":"1987","unstructured":"Girard, J-Y.: 1987, \u2018Linear Logic\u2019, Theoretical Computer Science 50, 1\u2013102.","journal-title":"Theoretical Computer Science"},{"key":"17_CR18_17","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/3-540-60178-3_83","volume-title":"Logic and Computational Complexity","author":"J-Y. Girard","year":"1995a","unstructured":"Girard, J-Y.: 1995a, \u2018Light Linear Logic\u2019, in D. Leivant (ed.), Logic and Computational Complexity, Berlin, Springer, pp. 145\u2013176."},{"key":"17_CR19_17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/CBO9780511629150","volume-title":"Advances in Linear Logic","author":"J-Y. Girard","year":"1995b","unstructured":"Girard, J-Y.: 1995b, \u2018Linear Logic: Its Syntax and Semantics\u2019, in J-Y. Girard, Y. Lafont and L. Regnier (eds.), Advances in Linear Logic, Cambridge, Cambridge University Press, pp. 1\u201342."},{"key":"17_CR20_17","doi-asserted-by":"crossref","unstructured":"Girard, J-Y.: 1998, \u2018On the Meaning of Logical Rules I: Syntax vs. Semantics\u2019, http:\/\/iml.univ-mrs.fr\/ girard\/Articles.html.","DOI":"10.1007\/978-3-642-58622-4_7"},{"key":"17_CR21_17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(92)90386-T","volume":"97","author":"J-Y. Girard","year":"1992","unstructured":"Girard, J-Y., A. Scedrov and P. Scott: 1992, \u2018Bounded Linear Logic, A Modular Approach to Polynomial-Time Computability\u2019, Theoretical Computer Science 97, 1\u201366.","journal-title":"Theoretical Computer Science"},{"key":"17_CR22_17","first-page":"1","volume-title":"Theoretical Aspects of Reasoning about Knowledge","author":"J. Y. Halpern","year":"1986","unstructured":"Halpern, J. Y.: 1986, \u2018Reasoning about Knowledge: An Overview\u2019, in J. Y. Halpern (ed.), Theoretical Aspects of Reasoning about Knowledge. Proceedings of the 1986 Conference, San Francisco, Morgan Kaufmann, pp. 1\u201317."},{"key":"17_CR23_17","volume-title":"Knowledge and Belief, An Introduction to the Logic of Two Notions","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J.: 1962, Knowledge and Belief, An Introduction to the Logic of Two Notions, New York, Cornell University Press."},{"key":"17_CR24_17","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/BF00558761","volume":"4","author":"J. Hintikka","year":"1975","unstructured":"Hintikka, J.: 1975, \u2018Impossible Possible Worlds Vindicated\u2019, Journal of Philosophical Logic 4, 475\u2013484.","journal-title":"Journal of Philosophical Logic"},{"key":"17_CR25_17","unstructured":"Hodas, J. S.: 1992, \u2018Lolli: An Extension of Lambda Prolog with Linear Logic Context Management\u2019, Workshop on the lambda Prolog Programming Language, Philadelphia, 159\u2013168."},{"key":"17_CR26_17","first-page":"479","volume-title":"To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","author":"W. A. Howard","year":"1980","unstructured":"Howard, W. A.: 1980, \u2018The Formulae-as-Types Notion of Construction\u2019, in J. P. Seldin and J.R. Hindley (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, London, Academic Press, pp. 479\u2013490."},{"key":"17_CR27_17","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0304-3975(99)00052-3","volume":"227","author":"N. Kobayashi","year":"1999","unstructured":"Kobayashi, N., T. Shimizu and A. Yonezawa: 1999, \u2018Distributed Concurrent Linear Logic Programming\u2019, Theoretical Computer Science 227, 185\u2013220.","journal-title":"Theoretical Computer Science"},{"key":"17_CR28_17","volume-title":"A Deduction Model of Belief","author":"K. Konolige","year":"1986","unstructured":"Konolige, K.: 1986, A Deduction Model of Belief, San Franscisco, Morgan Kaufmann."},{"key":"17_CR29_17","unstructured":"Lescanne, P.: 2001, \u2018Epistemic Logic in Higher Order Logic\u2019, http:\/\/www.ens-lyon.fr\/LIP\/Pub\/rr2001.html."},{"key":"17_CR30_17","unstructured":"Levesque, H.: 1984a, \u2018A Logic of Implicit and Explicit Belief\u2019, Proceedings of the National Conference on Artificial Intelligence, AAAI-84, pp. 192\u2013202."},{"key":"17_CR31_17","unstructured":"Levesque, H.: 1984b, \u2018A Logic of Implicit and Explicit Belief\u2019, Fairchild Laboratory for Artificial Intelligence Research, Technical Report."},{"key":"17_CR32_17","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/BF00297511","volume":"17","author":"H. Levesque","year":"1988","unstructured":"Levesque, H.: 1988, \u2018Logic and the Complexity of Reasoning\u2019, Journal of Philosophical Logic 17, 355\u2013389.","journal-title":"Journal of Philosophical Logic"},{"key":"17_CR33_17","unstructured":"Martin, A.: 2001, Modal and Fixpoint Linear Logic, Masters Thesis, Department of Mathematics and Statistics, University of Ottawa."},{"key":"17_CR34_17","volume-title":"Intuitionistic Type Theory","author":"P. Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, P.: 1984, Intuitionistic Type Theory, Naples, Bibliopolis."},{"key":"17_CR35_17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., J. Parrow and D. Walker: 1992, \u2018A Calculus of Mobile Processes I, II\u2019, Information and Computation 100, 1\u201377.","journal-title":"Information and Computation"},{"key":"17_CR36_17","unstructured":"Powers, J. and C. Webster: 1999, \u2018Working with Linear Logic in Coq\u2019, 12th International Conference on Theorem Proving in Higher Order Logics."},{"key":"17_CR37_17","unstructured":"Parikh, R.: 1987, \u2018Knowledge and the Problem of Logical Omniscience\u2019, in Z. W. Ras and M. Zemankova (eds.), Methodologies for Intelligent Systems, The Hague, Elsevier, pp. 432\u2013439."},{"key":"17_CR38_17","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/3-540-60178-3_77","volume-title":"Logic and Computational Complexity","author":"R. Parikh","year":"1995","unstructured":"Parikh, R.: 1995, \u2018Logical Omniscience\u2019, in D. Leivant (ed.), Logic and Computational Complexity, Berlin, Springer, pp. 22\u201329."},{"key":"17_CR39_17","unstructured":"Prawitz, D.: 1965, Natural Deduction. A Proof-Theoretical Study, Stockholm, Almqvist & Wicksell."},{"key":"17_CR40_17","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-1-4020-4108-2_12","volume-title":"Game-Theoretical Semantics","author":"V. Rantala","year":"1978","unstructured":"Rantala, V.: 1978, \u2018Urn Models: A New Kind of Non-Standard Model for First-Order Logic\u2019, in E. Saarinen (ed.), Game-Theoretical Semantics, Dordrecht, D. Reidel, pp. 347\u2013366."},{"key":"17_CR41_17","unstructured":"Rantala, V.: 1982, \u2018Impossible Worlds Semantics and Logical Omniscience\u2019, in I. Niiniluoto and E. Saarinen (ed.), Intensional Logic: Theory and Applications, Acta Philosophica Fennica, pp. 1\u20139."},{"key":"17_CR42_17","volume-title":"An Introduction to Substructural Logics","author":"G. Restall","year":"2000","unstructured":"Restall, G.: 2000, An Introduction to Substructural Logics, London & New York, Routledge."},{"volume-title":"Substructural Logics","year":"1993","key":"17_CR43_17","unstructured":"Schroeder-Heister P. and K. Dosen (eds.): 1993, Substructural Logics, Oxford, Clarendon Press."},{"key":"17_CR44_17","doi-asserted-by":"publisher","first-page":"425","DOI":"10.2178\/bsl\/1203350879","volume":"1","author":"A. Urquhart","year":"1995","unstructured":"Urquhart, A.: 1995, \u2018The Complexity of Propositional Proofs\u2019, Bulletin of Symbolic Logic 1, 425\u2013467.","journal-title":"Bulletin of Symbolic Logic"},{"key":"17_CR45_17","first-page":"107","volume-title":"Realism, Meaning and Truth","author":"C. Wright","year":"1993","unstructured":"Wright, C.: 1993, \u2018Strict Finitism\u2019, in C. Wright, Realism, Meaning and Truth, 2nd edn, Oxford, Blackwell, pp. 107\u2013175.","edition":"2nd"}],"container-title":["Logic, Epistemology, and the Unity of Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-2808-3_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T05:21:05Z","timestamp":1619673665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-2808-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9789048124862","9781402028083"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-2808-3_17","relation":{},"subject":[]}}