{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:23Z","timestamp":1725664163816},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540590422"},{"type":"electronic","value":"9783540491750"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59042-0_75","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:58:54Z","timestamp":1330257534000},"page":"217-228","source":"Crossref","is-referenced-by-count":1,"title":["A set-theoretic translation method for (poly)modal logics"],"prefix":"10.1007","author":[{"given":"Giovanna","family":"D'Agostino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Policriti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"19_CR1","unstructured":"P. Aczel, Non-well-founded sets, CSLI, Lecture Notes No. 14, 1988."},{"key":"19_CR2","unstructured":"J. van Benthem, Modal Logic and Classical Logic; Bibliopolis, Napoli and Atlantic Heights (N.J.), 1985."},{"key":"19_CR3","unstructured":"J. van Benthem, G. D'Agostino, A. Montanari, A. Policriti, Modal Deduction in Second-Order Logic and Set Theory (in preparation)."},{"key":"19_CR4","unstructured":"D. Cantone, A. Ferro, and E.G. Omodeo, Computable Set Theory. Vol. 1; Oxford University Press, Int. Series of Monographs on Computer Science, 1989."},{"key":"19_CR5","unstructured":"G. D'Agostino, A. Montanari, A. Policriti, Translating modal formulae as settheoretic terms; Research Report 10\/94, Dipartimento di Matematica e Informatica, Universit\u00e0 di Udine, May 1994 (an abstract will appear in the Proc. of Logic Colloquium '94, Journal of Symbolic Logic)."},{"key":"19_CR6","unstructured":"G. D'Agostino, A. Montanari, A. Policriti, A set-theoretic translation method for polymodal logics; The ILLC Prepublication Series, ML-94-09, University of Amsterdam, October 1994."},{"key":"19_CR7","unstructured":"G. D'Agostino, A. Montanari, A. Policriti, Decidability results for modal theorem proving (in preparation)."},{"key":"19_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proofs Methods for Modal and Intuitionistic Logics","author":"M. Fitting","year":"1983","unstructured":"M. Fitting, Proofs Methods for Modal and Intuitionistic Logics; D. Reidel Pub. Comp., Dordrecht, Boston, and Lancaster, 1983."},{"key":"19_CR9","unstructured":"D. M. Gabbay, H. J. Ohlbach, Quantifier elimination in second-order predicate logic; in Proc. KR'92, Morgan Kaufmann, 1992, 425\u2013436."},{"issue":"1","key":"19_CR10","first-page":"69","volume":"1","author":"H. J. Ohlbach","year":"1993","unstructured":"H. J. Ohlbach, Translation Methods for Non-Classical Logics: An Overview; Bull. of the IGLP, 1 (1): 69\u201389, 1993.","journal-title":"Bull. of the IGLP"},{"key":"19_CR11","unstructured":"A. Policriti, J. T. Schwartz, T Theorem Proving I; Research Report 08\/92, Universit\u00e0 di Udine, July 1992 (submitted for publication)."},{"key":"19_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8601-8","volume-title":"Self-Reference and Modal Logic","author":"C. Smory\u0144ski","year":"1985","unstructured":"C. Smory\u0144ski, Self-Reference and Modal Logic; Springer Verlag, New York, 1985."}],"container-title":["Lecture Notes in Computer Science","STACS 95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59042-0_75.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:22:13Z","timestamp":1619558533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59042-0_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540590422","9783540491750"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-59042-0_75","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}