{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T10:06:37Z","timestamp":1748340397002},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540407874"},{"type":"electronic","value":"9783540452065"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45206-5_5","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T00:17:05Z","timestamp":1294359425000},"page":"17-31","source":"Crossref","is-referenced-by-count":1,"title":["A Labelled Sequent-Calculus for Observation Logic"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Brunet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Brunet, O.: A modal logic for observation-based knowledge representation. In: Proceedings of the IMLA 2002 workshop (Intuitionnistic ModalL ogic and Applications), Copenhaguen, DK (2002)"},{"key":"5_CR2","unstructured":"Brunet, O.: \u00c9tude de la connaissance dans le cadre d\u2019observations partielles: La logique de l\u2019observation. PhD thesis, Universit\u00e9 Joseph Fourier, Grenoble, France (2002)"},{"key":"5_CR3","first-page":"167","volume":"10","author":"F. Giunchiglia","year":"1997","unstructured":"Giunchiglia, F., Villafiorita, A., Walsh, T.: Theories of abstraction. AI Communications\u00a010, 167\u2013176 (1997)","journal-title":"AI Communications"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(92)90021-O","volume":"56","author":"F. Giunchiglia","year":"1992","unstructured":"Giunchiglia, F., Walsh, T.: A theory of abstraction. Artificial Intelligence\u00a056, 323\u2013390 (1992)","journal-title":"Artificial Intelligence"},{"key":"5_CR5","unstructured":"Nayak, P.P., Levy, A.: A semantic theory of abstractions. In: Mellish, C. (ed.) Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pp. 196\u2013203. Morgan Kaufmann, San Francisco (1995)"},{"key":"5_CR6","unstructured":"McCarthy, J.: Approximate objects and approximate theories (2000)"},{"key":"5_CR7","unstructured":"Nayak, P.P.: Representing multiple theories. In: Hayes-Roth, B., Korf, R. (eds.) Proceedings of the Twelfth National Conference on Artificial Intelligence, pp. 1154\u20131160. AAAI Press, Menlo Park (1994)"},{"key":"5_CR8","unstructured":"McCarthy, J.: Notes on formalizing contexts. In: Kehler, T., Rosenschein, S. (eds.) Proceedings of the Thirteenth National Conference on Artificial Intelligence, pp. 555\u2013560. Morgan Kaufmann, Los Altos (1993)"},{"key":"5_CR9","unstructured":"Bellin, G., de Paiva, V., Ritter, E.: Extended curry-howard correspondence for a basic constructive modal logic (2001)"},{"key":"5_CR10","unstructured":"Voorbraak, F.: A nonmonotonic observation logic (1997)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence (1980)","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S.A. Kripke","year":"1963","unstructured":"Kripke, S.A.: A semantical analysis of modal logic I : normal modal propositional calculi. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik\u00a09, 67\u201396 (1963)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Ore, O.: Galois connections. Transactions of the American Mathematical Society\u00a055, 493\u2013513 (1944)","DOI":"10.1090\/S0002-9947-1944-0010555-7"},{"key":"5_CR14","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/BF01899228","volume":"3","author":"G. Pickert","year":"1952","unstructured":"Pickert, G.: Bemerkungen \u00fcber galois-verbindungen. Archv. Math. J.\u00a03, 285\u2013289 (1952)","journal-title":"Archv. Math. J."},{"key":"5_CR15","unstructured":"Birkhoff, G.: Lattice Theory. 3rd edn. Colloquim Publications. American Mathematical Society (1967)"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Ern\u00e9, M., Koslowski, J., Melton, A., Strecker, G.E.: A primer on galois connections (1992)","DOI":"10.1111\/j.1749-6632.1993.tb52513.x"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation and application to logic programs. Journal of Logic Programming\u00a013, 103\u2013179 (1992)","journal-title":"Journal of Logic Programming"},{"key":"5_CR18","volume-title":"Intuitionism: An Introduction","author":"A. Heyting","year":"1956","unstructured":"Heyting, A.: Intuitionism: An Introduction. North-Holland, Amsterdam (1956)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Proof Methods for Modal and Intuitionnistic Logics, vol.\u00a0169. D. ReidelPublishing (1983)","DOI":"10.1007\/978-94-017-2794-5"},{"key":"5_CR20","volume-title":"Handbook of Philosophical Logic","author":"D. Dalen van","year":"1986","unstructured":"van Dalen, D.: Intuitionnistic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0III, Reidel, Dordrecht (1986)"},{"key":"5_CR21","doi-asserted-by":"crossref","first-page":"263","DOI":"10.3233\/FI-1995-232345","volume":"23","author":"S. Buva\u010d","year":"1995","unstructured":"Buva\u010d, S., Buva\u010d, V., Mason, I.A.: Metamathematics of contexts. Fundamenta Informaticae\u00a023, 263\u2013301 (1995)","journal-title":"Fundamenta Informaticae"},{"key":"5_CR22","first-page":"68","volume-title":"The collected papers of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"Gentzen, G.: Investigations into logical deduction. In: Szabo, M.E. (ed.) The collected papers of Gerhard Gentzen, pp. 68\u2013128. North Holland, Amsterdam (1969)"},{"key":"5_CR23","volume-title":"The Syntax and Semantics of Infinitary Languages","author":"W.W. Tait","year":"1968","unstructured":"Tait, W.W.: Normal derivability in classical logic. In: Barwise, J. (ed.) The Syntax and Semantics of Infinitary Languages. Springer, Heidelberg (1968)"},{"key":"5_CR24","unstructured":"Girard, J.Y.: Proof Theory and Logical Complexity. Bibliopolis (1987)"},{"key":"5_CR25","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0304-3975(93)90011-H","volume":"110","author":"J. Gallier","year":"1993","unstructured":"Gallier, J.: Constructive logics. part i: A tutorial on proof systems and typed \u03bb-calculi. Theoretical Computer Science\u00a0110, 249\u2013339 (1993)","journal-title":"Theoretical Computer Science"},{"key":"5_CR26","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics, 7th edn. North-Holland, Amsterdam (1952)","edition":"7"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45206-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T06:17:59Z","timestamp":1592201879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45206-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540407874","9783540452065"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45206-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}