{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:28:21Z","timestamp":1737437301434,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730989"},{"type":"electronic","value":"9783540730996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73099-6_10","type":"book-chapter","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T07:04:02Z","timestamp":1189753442000},"page":"107-118","source":"Crossref","is-referenced-by-count":1,"title":["Tableaux with Dynamic Filtration for Layered Modal Logics"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Gasquet","sequence":"first","affiliation":[]},{"given":"Bilal","family":"Said","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Applied Logic Series","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-94-011-4040-9_2","volume-title":"Labelled Deduction","author":"M. Baldoni","year":"2000","unstructured":"Baldoni, M.: Normal Multimodal Logics With Interaction Axioms. In: Basin, D., D\u2019Agostino, M., Gabbay, D.M., Matthews, S., Vigan\u00f2, L. (eds.) Labelled Deduction. Applied Logic Series, vol.\u00a017, pp. 33\u201353. Kluwer Academic Publisher, Boston (2000)"},{"key":"10_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: an introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic: an introduction. Cambridge Univ. Press, Cambridge (1980)"},{"issue":"3-4","key":"10_CR3","doi-asserted-by":"crossref","first-page":"281","DOI":"10.3233\/FI-1997-323404","volume":"32","author":"M.A. Castilho","year":"1997","unstructured":"Castilho, M.A., del Farinas Cerro, L., Gasquet, O., Herzig, A.: Modal Tableaux with Propagation Rules and Structural Rules. Fundamenta Informaticae\u00a032(3-4), 281\u2013297 (1997)","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"10_CR4","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1093\/jigpal\/10.1.51","volume":"10","author":"L. del Fari\u00f1as Cerro","year":"2002","unstructured":"del Fari\u00f1as Cerro, L., Gasquet, O.: A general framework for pattern-driven modal tableaux. Logic Journal of the IGPL\u00a010(1), 51\u201384 (2002)","journal-title":"Logic Journal of the IGPL"},{"issue":"4","key":"10_CR5","doi-asserted-by":"crossref","first-page":"317","DOI":"10.3233\/FI-1999-40401","volume":"40","author":"L. Del Fari\u00f1as Cerro","year":"1999","unstructured":"Del Fari\u00f1as Cerro, L., Gasquet, O.: Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. Fundamenta Informaticae\u00a040(4), 317\u2013333 (1999)","journal-title":"Fundamenta Informaticae"},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1111\/j.1755-2567.1970.tb00430.x","volume":"30","author":"D.M. Gabbay","year":"1970","unstructured":"Gabbay, D.M.: Selective filtration in modal logic. Theoria\u00a030, 323\u2013330 (1970)","journal-title":"Theoria"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Gasquet, O.: On the influence of confluence in modal logics. Fundamenta Informaticae 70(3) (2005)","DOI":"10.3233\/FUN-2006-70304"},{"key":"10_CR8","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., H\u00e4hnle, R., Posegga, J. (eds.) Handbook of Tableau Methods, Kluwer Academic Publishers, Boston (1999)"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1137\/0206033","volume":"6","author":"R. Ladner","year":"1977","unstructured":"Ladner, R.: The computational complexity of provability in systems of modal logic. SIAM Journal on Computing\u00a06, 467\u2013480 (1977)","journal-title":"SIAM Journal on Computing"},{"key":"10_CR10","volume-title":"An introduction to modal logic","author":"E.J. Lemmon","year":"1977","unstructured":"Lemmon, E.J., Scott, D.S.: An introduction to modal logic. Oxford, Blackwell (1977)"},{"key":"10_CR11","unstructured":"Massacci, F.: Single step tableaux for modal logics: methodology, computations, algorithms. Journal of Automated Reasoning 24 (2000)"},{"key":"10_CR12","unstructured":"Shapirovsky, I.: On PSPACE-decidability in transitive modal logics. In: Proc. AiML 2005 (2005)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Shethman, V.: Filtration via bisimulation. In: Proc. AiML 2005 (2005)","DOI":"10.1016\/S1365-6937(05)00548-4"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73099-6_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T00:02:28Z","timestamp":1737417748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73099-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540730989","9783540730996"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73099-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}