{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T11:10:01Z","timestamp":1749726601234,"version":"3.41.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[1998,7]]},"DOI":"10.1023\/a:1008278803780","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T13:47:34Z","timestamp":1040564854000},"page":"237-263","source":"Crossref","is-referenced-by-count":14,"title":["Labelled Modal Logics: Quantifiers"],"prefix":"10.1007","volume":"7","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","reference":[{"issue":"3","key":"143470_CR1","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1093\/logcom\/2.3.247","volume":"2","author":"Y. Auffray","year":"1992","unstructured":"Auffray, Y. and Enjalbert, P., 1992, \u201cModal theorem proving: An equational viewpoint,\u201d Journal of Logic and Computation\n2(3), 247\u2013297.","journal-title":"Journal of Logic and Computation"},{"key":"143470_CR2","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A. Avron","year":"1991","unstructured":"Avron, A., 1991, \u201cSimple consequence relations,\u201d Information and Computation\n92, 105\u2013139.","journal-title":"Information and Computation"},{"key":"143470_CR3","doi-asserted-by":"crossref","unstructured":"Basin, D., Matthews, S., and Vigan\u00f2, L., 1997a, \u201cLabelled propositional modal logics: Theory and practice,\u201d Journal of Logic and Computation\n7 (to appear).","DOI":"10.1093\/logcom\/7.6.685"},{"key":"143470_CR4","volume-title":"Proceedings of the 5th Kurt G\u00f6del Colloquium on Computational Logic and Proof Theory (KGC'97)","author":"D. Basin","year":"1997","unstructured":"Basin, D., Matthews, S., and Vigan\u00f2, L., 1997b, \u201cA new method for bounding the complexity of modal logics,\u201d in Proceedings of the 5th Kurt G\u00f6del Colloquium on Computational Logic and Proof Theory (KGC'97), A. Leitsch, ed., Berlin: Springer-Verlag."},{"key":"143470_CR5","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/978-94-009-5203-4_6","volume-title":"Handbook of Philosophical Logic","author":"E. Bencivenga","year":"1986","unstructured":"Bencivenga, E., 1986, \u201cFree logics,\u201d pp. 373\u2013426 in Handbook of Philosophical Logic, Vol. 3, D.M. Gabbay and F. Guenther, eds., Dordrecht: D. Reidel Publishing Company."},{"key":"143470_CR6","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1017\/CBO9780511983474.012","volume-title":"Knowledge, Belief and Strategic Interaction","author":"G. Corsi","year":"1992","unstructured":"Corsi, G. and Ghilardi, S., 1992, \u201cSemantical aspects of quantified modal logic,\u201d pp. 167\u2013195 in Knowledge, Belief and Strategic Interaction, C. Bicchieri and M. Dalla Chiara, eds., Cambridge, New York: Cambridge University Press."},{"key":"143470_CR7","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":"Fitting, M., 1983, Proof Methods for Modal and Intuitionistic Logics, Dordrecht: Kluwer Academic Publishers."},{"key":"143470_CR8","first-page":"365","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"M. Fitting","year":"1993","unstructured":"Fitting, M., 1993, \u201cBasic modal logic,\u201d pp. 365\u2013448 in Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. I, D.M. Gabbay, C.J. Hogger, and J.A. Robinson, eds., Oxford: Clarendon Press."},{"key":"143470_CR9","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled Deductive Systems","author":"D.M. Gabbay","year":"1996","unstructured":"Gabbay, D.M., 1996, Labelled Deductive Systems, Volume 1, Oxford: Clarendon Press."},{"volume-title":"Handbook of Philosophical Logic","year":"1983","key":"143470_CR10","unstructured":"Gabbay, D.M. and Guenthner, F., eds., 1983\u20131986, Handbook of Philosophical Logic, Dordrecht: D. Reidel Publishing Company."},{"key":"143470_CR11","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-94-009-6259-0_5","volume-title":"Handbook of Philosophical Logic","author":"J. Garson","year":"1984","unstructured":"Garson, J., 1984, \u201cQuantification in modal logic,\u201d pp. 249\u2013307 in Handbook of Philosophical Logic, Vol. 2, D.M. Gabbay and F. Guenther, eds., Dordrecht: D. Reidel Publishing Company."},{"issue":"1","key":"143470_CR12","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1145\/138027.138060","volume":"40","author":"R. Harper","year":"1993","unstructured":"Harper, R., Honsell, F., and Plotkin, G., 1993, \u201cA framework for defining logics,\u201d Journal of the ACM\n40(1), 143\u2013184.","journal-title":"Journal of the ACM"},{"key":"143470_CR13","volume-title":"Raisonnement automatique en logique modale et algorithmes d'unification","author":"A. Herzig","year":"1989","unstructured":"Herzig, A., 1989, \u201cRaisonnement automatique en logique modale et algorithmes d'unification,\u201d PhD Thesis, Universit\u00e9 Paul-Sabatier, Toulouse."},{"key":"143470_CR14","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"G. Hughes","year":"1996","unstructured":"Hughes, G. and Cresswell, M., 1996, A New Introduction to Modal Logic, London: Routledge."},{"key":"143470_CR15","first-page":"83","volume":"16","author":"S. Kripke","year":"1963","unstructured":"Kripke, S., 1963, \u201cSemantical considerations on modal logics,\u201d Acta Philosophica Fennica\n16, 83\u201394.","journal-title":"Acta Philosophica Fennica"},{"key":"143470_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0211-7","volume-title":"Logic for Applications","author":"A. Nerode","year":"1993","unstructured":"Nerode, A. and Shore, R., 1993, Logic for Applications, Berlin: Springer-Verlag."},{"issue":"5","key":"143470_CR17","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1093\/logcom\/1.5.691","volume":"1","author":"H.J. Ohlbach","year":"1991","unstructured":"Ohlbach, H.J., 1991, \u201cSemantics based translation methods for modal logics,\u201d Journal of Logic and Computation\n1(5), 691\u2013746.","journal-title":"Journal of Logic and Computation"},{"key":"143470_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle: A Generic Theorem Prover","author":"L. Paulson","year":"1994","unstructured":"Paulson, L., 1994, Isabelle: A Generic Theorem Prover, LNCS, Vol. 828, Berlin: Springer-Verlag."},{"key":"143470_CR19","first-page":"1","volume":"1","author":"J. Perzanowski","year":"1973","unstructured":"Perzanowski, J., 1973, \u201cThe deduction theorem for the modal propositional calculi formalized after the manner of Lemmon, Part I,\u201d Reports on Mathematical Logic\n1, 1\u201312.","journal-title":"Reports on Mathematical Logic"},{"key":"143470_CR20","volume-title":"Natural Deduction, A Proof-Theoretical Study","author":"D. Prawitz","year":"1965","unstructured":"Prawitz, D., 1965, Natural Deduction, A Proof-Theoretical Study, Stockholm: Almqvist and Wiksell."},{"key":"143470_CR21","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0049-237X(08)70849-8","volume-title":"Proceedings of the 2nd Scandinavian Logic Symposium","author":"D. Prawitz","year":"1971","unstructured":"Prawitz, D., 1971, \u201cIdeas and results in proof theory,\u201d pp. 235\u2013307 in Proceedings of the 2nd Scandinavian Logic Symposium, J.E. Fensted, ed., Amsterdam: NorthHolland."},{"key":"143470_CR22","volume-title":"Modal logics as labelled deductive systems","author":"A. Russo","year":"1996","unstructured":"Russo, A., 1996, \u201cModal logics as labelled deductive systems,\u201d PhD Thesis, Department of Computing, Imperial College, London."},{"key":"143470_CR23","volume-title":"Mathematical Logic","author":"J.R. Shoenfield","year":"1967","unstructured":"Shoenfield, J.R., 1967, Mathematical Logic, Reading, MA: Addison Wesley."},{"key":"143470_CR24","volume-title":"The proof theory and semantics of intuitionistic modal logic","author":"A. Simpson","year":"1993","unstructured":"Simpson, A., 1993, \u201cThe proof theory and semantics of intuitionistic modal logic,\u201d PhD Thesis, University of Edinburgh, Edinburgh."},{"key":"143470_CR25","volume-title":"Basic Proof Theory","author":"A.S. Troelstra","year":"1996","unstructured":"Troelstra, A.S. and Schwichtenberg, H., 1996, Basic Proof Theory, Cambridge, NewYork: Cambridge University Press."},{"key":"143470_CR26","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-009-6259-0_4","volume-title":"Handbook of Philosophical Logic","author":"J. van Benthem","year":"1984","unstructured":"van Benthem, J., 1984, \u201cCorrespondence theory,\u201d pp. 167\u2013248 in Handbook of Philosophical Logic, Vol. 2, D.M. Gabbay and F. Guenther, eds., Dordrecht: D. Reidel Publishing Company."},{"key":"143470_CR27","volume-title":"Modal Logic and Classical Logic","author":"J. van Benthem","year":"1985","unstructured":"van Benthem, J., 1985, Modal Logic and Classical Logic, Napoli: Bibliopolis."},{"key":"143470_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02962-6","volume-title":"Logic and Structure","author":"D. van Dalen","year":"1994","unstructured":"van Dalen, D., 1994, Logic and Structure, Berlin: Springer-Verlag."},{"key":"143470_CR29","volume-title":"Automated Deduction in Non-Classical Logics","author":"L. Wallen","year":"1990","unstructured":"Wallen, L., 1990, Automated Deduction in Non-Classical Logics, Cambridge, MA: MIT Press."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008278803780.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008278803780\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008278803780.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:28:48Z","timestamp":1749724128000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008278803780"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,7]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,7]]}},"alternative-id":["143470"],"URL":"https:\/\/doi.org\/10.1023\/a:1008278803780","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[1998,7]]}}}