{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:50Z","timestamp":1725664730139},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634935"},{"type":"electronic","value":"9783540695820"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3540634932_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:27:08Z","timestamp":1330298828000},"page":"171-182","source":"Crossref","is-referenced-by-count":0,"title":["Labelled quantified modal logics"],"prefix":"10.1007","author":[{"given":"David","family":"Basin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Se\u00e1n","family":"Matthews","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Vigan\u00f2","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,8]]},"reference":[{"issue":"3","key":"13_CR1","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1093\/logcom\/2.3.247","volume":"2","author":"Y. Auffray","year":"1992","unstructured":"Y. Auffray and P. Enjalbert. Modal theorem proving: An equational viewpoint. Journal of Logic and Computation, 2(3):247\u2013297, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"13_CR2","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A. Avron","year":"1991","unstructured":"A. Avron. Simple consequence relations. Inf. and Comp., 92:105\u2013139, 1991.","journal-title":"Inf. and Comp."},{"key":"13_CR3","unstructured":"D. Basin, S. Matthews, and L. Vigan\u00f2. Labelled modal logics: quantifiers. Technical Report MPI-I-97-2-001, MPI f\u00fcr Informatik, Saarbr\u00fccken, 1997."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"D. Basin, S. Matthews, and L. Vigan\u00f2. Labelled propositional modal logics: theory and practice. Journal of Logic and Computation, 1997. To appear.","DOI":"10.1093\/logcom\/7.6.685"},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/978-94-009-5203-4_6","volume-title":"Handbook of Philosophical Logic, Vol. III","author":"E. encivenga","year":"1986","unstructured":"E.Bencivenga, Free logics. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Vol. III, pages 373\u2013426. Reidel, Dordrecht, 1986."},{"key":"13_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof methods for modal and intuitionistic logics","author":"M. Fitting","year":"1983","unstructured":"M. Fitting. Proof methods for modal and intuitionistic logics. Kluwer, Dordrecht, 1983."},{"key":"13_CR7","first-page":"365","volume-title":"Handbook of Logic in AI and Logic Programming, Vol. I","author":"M. Fitting","year":"1993","unstructured":"M. Fitting. Basic modal logic. In D. Gabbay et al., editors, Handbook of Logic in AI and Logic Programming, Vol. I, pages 365\u2013448. Clarendon Press, Oxford, 1993."},{"key":"13_CR8","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled deductive systems","author":"D. Gabbay","year":"1996","unstructured":"D. Gabbay. Labelled deductive systems. Clarendon Press, Oxford, 1996."},{"key":"13_CR9","first-page":"249","volume-title":"Handbook of Philosophical Logic, Vol. II","author":"J. Carson","year":"1984","unstructured":"J. Carson. Quantification in modal logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Vol. II, pages 249\u2013307. Reidel, Dordrecht, 1984."},{"issue":"1","key":"13_CR10","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1145\/138027.138060","volume":"40","author":"R. Harper","year":"1993","unstructured":"R. Harper, F. Honsell, and G. Plotkin. A framework for defining logics. Journal of the ACM, 40(1):143\u2013184, 1993.","journal-title":"Journal of the ACM"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"G. Hughes and M. Cresswell. A new introduction to modal logic. Routledge, 1996.","DOI":"10.4324\/9780203290644"},{"key":"13_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0211-7","volume-title":"Logic for applications","author":"A. Nerode","year":"1993","unstructured":"A. Nerode and R. Shore. Logic for applications. Springer, Berlin, 1993."},{"issue":"5","key":"13_CR13","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1093\/logcom\/1.5.691","volume":"1","author":"H. J. Ohlbach","year":"1991","unstructured":"H. J. Ohlbach. Semantics based translation methods for modal logics. Journal of Logic and Computation, 1(5):691\u2013746, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"13_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle: a generic theorem prover","author":"L. C. Paulson","year":"1994","unstructured":"L. C. Paulson. Isabelle: a generic theorem prover. Springer, Berlin, 1994."},{"key":"13_CR15","volume-title":"Mathematical logic","author":"J. R. Shoenfield","year":"1967","unstructured":"J. R. Shoenfield. Mathematical logic. Addison Wesley, Reading, 1967."},{"key":"13_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02962-6","volume-title":"Logic and structure","author":"D. Dalen van","year":"1994","unstructured":"D. van Dalen. Logic and structure. Springer, Berlin, 1994."}],"container-title":["Lecture Notes in Computer Science","KI-97: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540634932_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T18:13:26Z","timestamp":1713636806000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540634932_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634935","9783540695820"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3540634932_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}