{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T23:10:32Z","timestamp":1738451432485,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540881896"},{"type":"electronic","value":"9783540881902"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88190-2_24","type":"book-chapter","created":{"date-parts":[[2008,10,16]],"date-time":"2008-10-16T11:54:19Z","timestamp":1224158059000},"page":"187-196","source":"Crossref","is-referenced-by-count":0,"title":["Methodical Construction of Symbolic Diagrams"],"prefix":"10.1007","author":[{"given":"Paulo A. S.","family":"Veloso","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheila R. M.","family":"Veloso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"24_CR1","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1093\/logcom\/11.5.717","volume":"11","author":"C. Areces","year":"2001","unstructured":"Areces, C., Nivelle, H., de Rijke, M.: Resolution in Modal, Description and Hybrid Logic. J. Logic and Computation\u00a011(5), 717\u2013736 (2001)","journal-title":"J. Logic and Computation"},{"key":"24_CR2","volume-title":"The Description Logic Handbook: Theory, Implementations, Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuiness, D.L., Nardi, D., Pattel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementations, Applications. Cambridge Univ. Press, Cambridge (2003)"},{"key":"24_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-28645-5_1","volume-title":"Advances in Artificial Intelligence \u2013 SBIA 2004","author":"M.R.F. Benevides","year":"2004","unstructured":"Benevides, M.R.F., Delgado, C.A.D., de Freitas, R.P., Veloso, P.A.S., Veloso, S.R.M.: On Modalities for Vague Notions. In: Bazzan, A.L.C., Labidi, S. (eds.) SBIA 2004. LNCS (LNAI), vol.\u00a03171, pp. 1\u201310. Springer, Heidelberg (2004)"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.-Y.: From Consequence Operator to Universal Logic: a Survey of General Abstract Logic. In: B\u00e9ziau, J.-Y. (ed.) Logica Universalis, vol.\u00a01, pp. 3\u201317 (2005)","DOI":"10.1007\/978-3-7643-8354-1_1"},{"key":"24_CR5","volume-title":"A Course in Universal Algebra","author":"S. Burris","year":"1980","unstructured":"Burris, S., Sankappanavar, G.: A Course in Universal Algebra. Springer, New York (1980)"},{"key":"24_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: an Introduction","author":"B. Chellas","year":"1980","unstructured":"Chellas, B.: Modal Logic: an Introduction. Cambridge Univ. Press, Cambridge (1980)"},{"key":"24_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"24_CR8","first-page":"789","volume-title":"Handbook of Theoretical Computer Science","author":"D. Kozen","year":"1980","unstructured":"Kozen, D., Tuiryn, J.: Logics of Programs. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 789\u2013840. Elsevier, Amsterdam (1980)"},{"key":"24_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for Computer Science and Artificial Intelligence","author":"J.J.C. Meyer","year":"1995","unstructured":"Meyer, J.J.C., van der Hoek, W.: Epistemic Logic for Computer Science and Artificial Intelligence. Cambridge Univ. Press, Cambridge (1995)"},{"key":"24_CR10","volume-title":"Logic and Representation","author":"R.C. Moore","year":"1995","unstructured":"Moore, R.C.: Logic and Representation. Cambridge Univ. Press, Cambridge (1995)"},{"key":"24_CR11","first-page":"102","volume-title":"Aspects of Universal Logic","author":"A. Moretti","year":"2004","unstructured":"Moretti, A.: Geometry for Modalities? Yes: through n-opposition Theory. In: B\u00e9ziau, J.-Y., Costa-Leite, A., Facchini, A. (eds.) Aspects of Universal Logic, pp. 102\u2013145. Univ. Neuch\u00e2tel, Neuch\u00e2tel (2004)"},{"key":"24_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85108-0","volume-title":"Logic and Structure","author":"D. Dalen van","year":"2004","unstructured":"van Dalen, D.: Logic and Structure, 4th edn. Springer, Berlin (2004)","edition":"4"},{"key":"24_CR13","unstructured":"Pequeno, T.H.C., Veloso, P.A.S.: Do not Write more Axioms than you Have to. In: Proc. Int. Computing Symp., Taipei, pp. 487\u2013498 (1978)"},{"key":"24_CR14","volume-title":"Handbook of Logic and Language","author":"W.C. Rounds","year":"1997","unstructured":"Rounds, W.C.: Feature Logics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language. Elsevier, Amsterdam (1997)"},{"key":"24_CR15","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/978-1-4020-2808-3_23","volume-title":"Logic, Epistemology and the Unity of Science","author":"P.A.S. Veloso","year":"2004","unstructured":"Veloso, P.A.S., Carnielli, W.A.: Logics for Qualitative Reasoning. In: Gabbay, D., Rahman, S., Symons, J., van Bendegem, J.P. (eds.) Logic, Epistemology and the Unity of Science, pp. 487\u2013526. Kluwer, Dordretch (2004)"},{"key":"24_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36127-8_1","volume-title":"Advances in Artificial Intelligence","author":"S.R.M. Veloso","year":"2002","unstructured":"Veloso, S.R.M., Veloso, P.A.S.: On Special Functions and Theorem Proving in Logics for Generally. In: Bittencourt, G., Ramalho, G.L. (eds.) SBIA 2002. LNCS (LNAI), vol.\u00a02507, pp. 1\u201310. Springer, Heidelberg (2002)"},{"key":"24_CR17","first-page":"146","volume-title":"Aspects of Universal Logic","author":"P.A.S. Veloso","year":"2004","unstructured":"Veloso, P.A.S., Veloso, S.R.M.: On Modulated Logics for Generally: Some Metamathematical Issues. In: B\u00e9ziau, J.-Y., Costa-Leite, A., Facchini, A. (eds.) Aspects of Universal Logic, pp. 146\u2013168. Univ. Neuch\u00e2tel, Neuch\u00e2tel (2004)"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence - SBIA 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88190-2_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T22:43:53Z","timestamp":1738449833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88190-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540881896","9783540881902"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88190-2_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}