{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,14]],"date-time":"2025-01-14T05:40:02Z","timestamp":1736833202533,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540692232"},{"type":"electronic","value":"9783540692249"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11964810_2","type":"book-chapter","created":{"date-parts":[[2007,1,23]],"date-time":"2007-01-23T13:12:54Z","timestamp":1169557974000},"page":"31-49","source":"Crossref","is-referenced-by-count":0,"title":["Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView"],"prefix":"10.1007","author":[{"given":"Rudolf","family":"Berghammer","sequence":"first","affiliation":[]},{"given":"Renate A.","family":"Schmidt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/BFb0053599","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Berghammer","year":"1998","unstructured":"Berghammer, R., Behnke, R., Meyer, E., Schneider, P.: RELVIEW - A system for calculating with relations and relational programming. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 318\u2013321. Springer, Heidelberg (1998)"},{"key":"2_CR2","series-title":"Colloq. Math. Soc. J. Bolyai","first-page":"37","volume-title":"Algebraic Logic","author":"R. Berghammer","year":"1991","unstructured":"Berghammer, R., Kempf, P., Schmidt, G., Str\u00f6hlein, T.: Relational algebra and logic of programs. In: Andr\u00e9ka, H., Monk, J.D., N\u00e9meti, I. (eds.) Algebraic Logic. Colloq. Math. Soc. J. Bolyai, vol.\u00a054, pp. 37\u201358. North-Holland, Amsterdam (1991)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-36280-0_17","volume-title":"Relational Methods in Computer Science","author":"R. Berghammer","year":"2002","unstructured":"Berghammer, R., Leoniuk, B., Milanese, U.: Implementation of relational algebra using binary decision diagrams. In: de Swart, H. (ed.) RelMiCS 2001. LNCS, vol.\u00a02561, pp. 241\u2013257. Springer, Heidelberg (2002)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/11555964_4","volume-title":"Computer Algebra in Scientific Computing","author":"R. Berghammer","year":"2005","unstructured":"Berghammer, R., Neumann, F.: RelView \u2013 An OBDD-based Computer Algebra system for relations. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2005. LNCS, vol.\u00a03718, pp. 40\u201351. Springer, Heidelberg (2005)"},{"key":"2_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, V.: Modal Logic. Cambridge Univ. Press, Cambridge (2001)"},{"issue":"3","key":"2_CR6","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF01215410","volume":"6","author":"C. Brink","year":"1994","unstructured":"Brink, C., Britz, K., Schmidt, R.A.: Peirce algebras. Formal Aspects of Computing\u00a06(3), 339\u2013358 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"2_CR7","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)"},{"key":"2_CR8","volume-title":"Modal Checking","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Modal Checking. MIT Press, Cambridge (2000)"},{"key":"2_CR9","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":"2_CR10","volume-title":"CSLI Lecture Notes","author":"R. Goldblatt","year":"1987","unstructured":"Goldblatt, R.: Logics of Time and Computation. In: CSLI Lecture Notes, vol.\u00a07, Chicago Univ. Press, Chicago (1987)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Routledge, London (1996)","DOI":"10.4324\/9780203290644"},{"key":"2_CR12","volume-title":"Modelling and Reasoning About Systems","author":"M. Huth","year":"2000","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science. In: Modelling and Reasoning About Systems. Cambridge Univ. Press, Cambridge (2000)"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators, Part I. American Journal of Mathematics\u00a073, 891\u2013939 (1951)","journal-title":"American Journal of Mathematics"},{"key":"2_CR14","series-title":"Informatik-Berichte","first-page":"88","volume-title":"Proc. International Workshop on Concurrency, Specification, and Programming","author":"W. Nabialek","year":"2004","unstructured":"Nabialek, W., Niewiadomski, A., Penczek, W., Polrola, A., Szreter, M.: Verics 2004: A model checker for real time and multi-agent systems. In: Proc. International Workshop on Concurrency, Specification, and Programming. Informatik-Berichte, vol.\u00a0170, pp. 88\u201399. Humbold University, Berlin (2004)"},{"key":"2_CR15","unstructured":"Kacprzak, M., Lomusico, A., Niewiadomski, A., Szreter, M., Penczek, W., Raimondi, F.: Comparing BDD and SAT based techniques for model checking Chaum\u2019s Dining Cryptographers protocol. Fundamenta Informaticae (to appear, 2006)"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/3-540-10003-2_83","volume-title":"Automata, Languages and Programming","author":"D. Kozen","year":"1980","unstructured":"Kozen, D.: A representation theorem for models of *-free PDL. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.\u00a085, pp. 351\u2013362. Springer, Heidelberg (1980)"},{"key":"2_CR17","unstructured":"Leoniuk, B.: ROBDD-based implementation of relational algebra with applications (in German). Ph.D.\u00a0thesis, Institut f\u00fcr Informatik und Praktische Mathematik, Universit\u00e4t Kiel (2001)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/11691372_31","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Lomuscio","year":"2006","unstructured":"Lomuscio, A., Raimondi, F.: Mcmas: a tool for verifying multi-agent systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 450\u2013454. Springer, Heidelberg (2006)"},{"key":"2_CR19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"J.-J.C.. Meyer","year":"1995","unstructured":"Meyer, J.-J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge Univ. Press, Cambridge (1995)"},{"key":"2_CR20","unstructured":"Milanese, U.: On the implementation of a ROBDD-based tool for the manipulation and visualization of relations (in German). Ph.D.\u00a0thesis, Institut f\u00fcr Informatik und Praktische Mathematik, Universit\u00e4t Kiel (2003)"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/3-540-48294-6_22","volume-title":"Static Analysis","author":"M. M\u00fcller-Olm","year":"1999","unstructured":"M\u00fcller-Olm, M., Schmidt, D., Steffen, B.: Model-checking: A tutorial introduction. In: Cortesi, A., Fil\u00e9, G. (eds.) SAS 1999. LNCS, vol.\u00a01694, pp. 330\u2013354. Springer, Heidelberg (1999)"},{"key":"2_CR22","unstructured":"Ng, K.C., Tarski, A.: Relation algebras with transitive closure, abstract 742-02-09. Notices Amer. Math. Soc., A29\u2013A30 (1977)"},{"key":"2_CR23","series-title":"Advances in Computing","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/978-3-7091-6510-2_6","volume-title":"Relational Methods in Computer Science","author":"E. Orlowska","year":"1997","unstructured":"Orlowska, E.: Relational formalisation of nonclassical logics. In: Brink, C., Kahl, W., Schmidt, G. (eds.) Relational Methods in Computer Science. Advances in Computing, pp. 90\u2013105. Springer, Wien (1997)"},{"key":"2_CR24","unstructured":"Pratt, V.R.: Dynamic algebras: Examples, constructions, applications. Technical Report MIT\/LCS\/TM-138, MIT Laboratory for Computer Science (1979)"},{"key":"2_CR25","volume-title":"Relations and Graphs. Discrete Mathematics for Computer Scientists","author":"G. Schmidt","year":"1993","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs. Discrete Mathematics for Computer Scientists. Springer, Berlin (1993)"},{"issue":"3","key":"2_CR26","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Tarski, A.: On the calculus of relations. J.\u00a0Symbolic Logic\u00a06(3), 73\u201389 (1941)","journal-title":"J.\u00a0Symbolic Logic"},{"key":"2_CR27","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific J.\u00a0Math.\u00a05, 285\u2013309 (1955)","journal-title":"Pacific J.\u00a0Math."}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Relational Structures as Knowledge Instruments II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11964810_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T04:22:58Z","timestamp":1736742178000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11964810_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540692232","9783540692249"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11964810_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}