{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:24:17Z","timestamp":1725744257743},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319018539"},{"type":"electronic","value":"9783319018546"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-01854-6_44","type":"book-chapter","created":{"date-parts":[[2013,8,8]],"date-time":"2013-08-08T06:47:25Z","timestamp":1375944445000},"page":"429-438","source":"Crossref","is-referenced-by-count":0,"title":["Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K"],"prefix":"10.1007","author":[{"given":"Joanna","family":"Goli\u0144ska-Pilarek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Mu\u00f1oz-Velasco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angel","family":"Mora","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"44_CR1","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Modal proof theory. In: Patrick Blackburn, J.V.B., Wolter, F. (eds.) Studies in Logic and Practical Reasoning, vol.\u00a03, pp. 85\u2013138. Elsevier (2007)","DOI":"10.1016\/S1570-2464(07)80005-X"},{"issue":"3","key":"44_CR2","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1023\/A:1006155811656","volume":"24","author":"F. Massacci","year":"2000","unstructured":"Massacci, F.: Single step tableaux for modal logics. Journal of Automated Reasoning\u00a024(3), 319\u2013364 (2000)","journal-title":"Journal of Automated Reasoning"},{"issue":"5-6","key":"44_CR3","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s10992-005-2267-3","volume":"34","author":"S. Negri","year":"2005","unstructured":"Negri, S.: Proof analysis in modal logic. Journal of Philosophical Logic\u00a034(5-6), 507\u2013544 (2005)","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"44_CR4","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1145\/146937.146940","volume":"10","author":"J. Glasgow","year":"1992","unstructured":"Glasgow, J., Macewen, G., Panangaden, P.: A logic for reasoning about security. ACM Trans. Comput. Syst.\u00a010(3), 226\u2013264 (1992)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"4","key":"44_CR5","doi-asserted-by":"publisher","first-page":"706","DOI":"10.1145\/155183.155225","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Burrows, M., Lampson, B., Plotkin, G.: A calculus for access control in distributed systems. ACM Trans. Program. Lang. Syst.\u00a015(4), 706\u2013734 (1993)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"44_CR6","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0004-3702(03)00063-8","volume":"149","author":"C.J. Liau","year":"2003","unstructured":"Liau, C.J.: Belief, information acquisition, and trust in multi-agent systems\u2014A modal logic formulation. Artificial Intelligence\u00a0149(1), 31\u201360 (2003)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"44_CR7","doi-asserted-by":"publisher","first-page":"65","DOI":"10.4018\/jsse.2011040104","volume":"2","author":"Y. Bai","year":"2011","unstructured":"Bai, Y., Khan, K.M.: Ell secure information system using modal logic technique. International Journal of Secure Software Engineering\u00a02(2), 65\u201376 (2011)","journal-title":"International Journal of Secure Software Engineering"},{"issue":"6","key":"44_CR8","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1093\/jigpal\/jzi048","volume":"13","author":"C. Caleiro","year":"2005","unstructured":"Caleiro, C., Vigan\u00f2, L., Basin, D.: Relating strand spaces and distributed temporal logic for security protocol analysis. Logic Journal of IGPL\u00a013(6), 637\u2013663 (2005)","journal-title":"Logic Journal of IGPL"},{"issue":"4","key":"44_CR9","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1093\/jigpal\/jzr015","volume":"20","author":"J.F. Paz De","year":"2012","unstructured":"De Paz, J.F., Navarro, M., Pinz\u00f3n, C.I., Juli\u00e1n, V., Tapia, D.I., Bajo, J.: Mathematical model for a temporal-bounded classifier in security environments. Logic Journal of IGPL\u00a020(4), 712\u2013721 (2012)","journal-title":"Logic Journal of IGPL"},{"key":"44_CR10","doi-asserted-by":"crossref","unstructured":"Amato, F., Casola, V., Mazzocca, N., Romano, S.: A semantic approach for fine-grain access control of e-health documents. Logic Journal of IGPL (2012)","DOI":"10.1093\/jigpal\/jzs027"},{"key":"44_CR11","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Hustadt, U., Sattler, U., Schmidt, R.: Computational modal logic. In: Patrick Blackburn, J.V.B., Wolter, F. (eds.) Studies in Logic and Practical Reasoning, vol.\u00a03, pp. 181\u2013245. Elsevier (2007)","DOI":"10.1016\/S1570-2464(07)80007-3"},{"key":"44_CR12","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. Springer (1983)","DOI":"10.1007\/978-94-017-2794-5"},{"key":"44_CR13","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-94-017-1754-0_6","volume-title":"Handbook of Tableau Methods","author":"R. Gor\u00e9","year":"1999","unstructured":"Gor\u00e9, R.: Tableau methods for modal and temporal logics. In: D\u2019Agostino, M., Gabbay, D.M., H\u00e4hnle, R., Posegga, J. (eds.) Handbook of Tableau Methods, pp. 297\u2013396. Springer, Netherlands (1999)"},{"issue":"1","key":"44_CR14","doi-asserted-by":"crossref","first-page":"21","DOI":"10.3233\/FI-2009-115","volume":"94","author":"R. Gor\u00e9","year":"2009","unstructured":"Gor\u00e9, R., Nguyen, L.A.: Clausal tableaux for multimodal logics of belief. Fundamenta Informaticae\u00a094(1), 21\u201340 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"44_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/3-540-52335-9_55","volume-title":"COLOG-88","author":"G. Mints","year":"1990","unstructured":"Mints, G.: Gentzen-type systems and resolution rules part i propositional logic. In: Martin-L\u00f6f, P., Mints, G. (eds.) COLOG 1988. LNCS, vol.\u00a0417, pp. 198\u2013231. Springer, Heidelberg (1990)"},{"key":"44_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/3-540-48340-3_29","volume-title":"Mathematical Foundations of Computer Science 1999","author":"L.A. Nguyen","year":"1999","unstructured":"Nguyen, L.A.: A new space bound for the modal logics K4, KD4 and S4. In: Kuty\u0142owski, M., Wierzbicki, T., Pacholski, L. (eds.) MFCS 1999. LNCS, vol.\u00a01672, pp. 321\u2013331. Springer, Heidelberg (1999)"},{"key":"44_CR17","unstructured":"Kanger, S.: Provability in logic. PhD thesis, Stockholm (1957)"},{"key":"44_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1007\/3-540-58156-1_52","volume-title":"Automated Deduction - CADE-12","author":"F. Massacci","year":"1994","unstructured":"Massacci, F.: Strongly analytic tableaux for normal modal logics. In: Bundy, A. (ed.) CADE 1994. LNCS, vol.\u00a0814, pp. 723\u2013737. Springer, Heidelberg (1994)"},{"issue":"4","key":"44_CR19","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1093\/jigpal\/jzr019","volume":"20","author":"J. Goli\u0144ska-Pilarek","year":"2012","unstructured":"Goli\u0144ska-Pilarek, J., Mu\u00f1oz-Velasco, E., Mora-Bonilla, A.: Relational dual tableau decision procedure for modal logic K. Logic Journal of IGPL\u00a020(4), 747\u2013756 (2012)","journal-title":"Logic Journal of IGPL"},{"key":"44_CR20","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/11554554_25","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"O. Gasquet","year":"2005","unstructured":"Gasquet, O., Herzig, A., Longin, D., Sahade, M.: LoTREC: Logical Tableaux Research Engineering Companion. In: Beckert, B. (ed.) TABLEAUX 2005. LNCS (LNAI), vol.\u00a03702, pp. 318\u2013322. Springer, Heidelberg (2005)"},{"key":"44_CR21","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.entcs.2009.02.029","volume":"231","author":"P. Abate","year":"2009","unstructured":"Abate, P., Gor\u00e9, R.: The tableau workbench. Electronic Notes in Theoretical Computer Science\u00a0231, 55\u201367 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"44_CR22","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/3-540-69778-0_30","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I.: The FaCT system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol.\u00a01397, pp. 307\u2013312. Springer, Heidelberg (1998)"}],"container-title":["Advances in Intelligent Systems and Computing","International Joint Conference SOCO\u201913-CISIS\u201913-ICEUTE\u201913"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-01854-6_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T16:30:14Z","timestamp":1596299414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-01854-6_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319018539","9783319018546"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-01854-6_44","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2014]]}}}