Kleene and büchi theorems for weighted automata and multi-valued logics over arbitrary bounded lattices

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6224 LNCS, Issue , 2010, Pages 160-172

  Droste, Manfred ^a   Vogler, Heiko ^b  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTIVITY; EXPRESSIVE POWER; INFINITE WORD; LARGE CLASS; MONADIC SECOND-ORDER LOGIC; MULTIVALUED LOGIC; RATIONAL SERIES; SEMIRINGS; WEIGHTED AUTOMATA;

AUTOMATA THEORY;

EID: 77958154175     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14455-4_16     Document Type: Conference Paper

References (50)

1. Berstel, J., Reutenauer, C.: Rational Series and Their Languages. EATCS Monograph on Theoretical Computer Science, vol. 12. Springer, Heidelberg (1988)
2. Birkhoff, G.: Lattice Theory. Revised ed. Amer. Math. Soc. Colloq. Publ., vol. XXV. Amer. Math. Soc., Providence (1961)
3. Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Annals of Math. 37, 823-843 (1936)
4. Bollig, B., Gastin, P.: Weighted versus probabilistic logics. In: Diekert, V., Nowotka, D. (eds.) DLT 2009. LNCS, vol. 5583, pp. 18-38. Springer, Heidelberg (2009)
5. Bollig, B., Meinecke, I.: Weighted distributed systems and their logics. In: Artemov, S., Nerode, A. (eds.) LFCS 2007. LNCS, vol. 4514, pp. 54-68. Springer, Heidelberg (2007)
6. Bruns, G., Godefroid, P.: Model checking with multi-valued logics. In: Díaz, J., Karhumäki, J., Lepistö, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol. 3142, pp. 281-293. Springer, Heidelberg (2004)
7. Büchi, J. R.: Weak second-order arithmetic and finite automata. Zeitschr. für math. Logik und Grundl. der Mathem. 6, 66-92 (1960)
8. Büchi, J. R.: On a decision method in restricted second-order arithmetic. In: Proc. 1960 Int. Congr. for Logic, Methodology and Philosophy of Science, pp. 1-11. Stanford Univ. Press, Stanford (1962)
9. Chatterjee, K., Doyen, L., Henzinger, T.: Quantitative languages. In: Kaminski, M., Martini, S. (eds.) CSL 2008. LNCS, vol. 5213, pp. 385-400. Springer, Heidelberg (2008)
10. Chatterjee, K., Doyen, L., Henzinger, T.: Alternating weighted automata. In: Gȩbala, M. (ed.) FCT 2009. LNCS, vol. 5699, pp. 3-13. Springer, Heidelberg (2009)
11. Chatterjee, K., Doyen, L., Henzinger, T.: Expressiveness and closure properties for quantitative languages. In: Proc. of 24th LICS 2009, pp. 199-208. EEE Computer Society Press, Los Alamitos (2009)
12. Chechik, M., Devereux, B., Gurfinkel, A.: Model-checking infinite state-space systems with fine-grained abstractions using spin. In: Dwyer, M. B. (ed.) SPIN 2001. LNCS, vol. 2057, pp. 16-36. Springer, Heidelberg (2001)
13. Diekert, V., Gastin, P.: First-order definable languages. In: Flum, J., Grädel, E., Wilke, T. (eds.) Logic and Automata: History and Perspectives, pp. 261-306. Amsterdam University Press, Amsterdam (2007)
14. Droste, M., Gastin, P.: Weighted automata and weighted logics. Theor. Comput. Sci. 380 (1-2), 69-86 (2007)
15. Droste, M., Gastin, P.: Weighted automata and weighted logics. In: [17], ch. 5
16. Droste, M., Kuich, W., Rahonis, G.: Multi-valued MSO logics over words and trees. Fundamenta Informaticae 84, 305-327 (2008)
17. Droste, M., Kuich, W., Vogler, H. (eds.): Handbook of Weighted Automata. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2009)
18. Droste, M., Rahonis, G.: Weighted automata and weighted logics on infinite words. In: Ibarra, O. H., Dang, Z. (eds.) DLT 2006. LNCS, vol. 4036, pp. 49-58. Springer, Heidelberg (2006) (Pubitemid 44089608)
19. Droste, M., Stüber, T., Vogler, H.: Weighted finite automata over strong bimonoids. Information Sciences 180, 156-166 (2010)
20. Droste, M., Vogler, H.: Weighted tree automata and weighted logics. Theoret. Comput. Sci. 366, 228-247 (2006)
21. Droste, M., Vogler, H.: Weighted logics for unranked tree automata. Theory of Comput. Systems (2010) (in print)
22. Eilenberg, S.: Automata, Languages, and Machines - Volume A. Pure and Applied Mathematics, vol. 59. Academic Press, London (1974)
23. Esik, Z., Kuich, W.: A semiring-semimodule generalization of ω-regular languages I. J. Automata, Languages and Combinatorics 10 (2/3), 203-242 (2005)
24. Fichtner, I.: Weighted picture automata and weighted logics. Theory of Comput. Syst (to appear 2010)
25. Gottwald, S.: A Treatise on Many-Valued Logics. Studies in Logic and Computation, vol. 9. Research Studies Press, Baldock (2001)
26. Grätzer, G.: General Lattice Theory. Birkhäuser, Basel (2003)
27. Gurfinkel, A., Chechik, M.: Multi-valued model checking via classical model checking. In: Amadio, R. M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 266-280. Springer, Heidelberg (2003)
28. Kleene, S. E.: Representation of events in nerve nets and finite automata. In: Shannon, C. E., McCarthy, J. (eds.) Automata Studies, pp. 3-42. Princeton University Press, Princeton (1956)
29. Kuich, W.: Semirings and formal power series. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, ch. 9, vol. 1, pp. 609-677. Springer, Heidelberg (1997)
30. Kuich, W., Salomaa, A.: Semirings, Automata, Languages. Monogr. Theoret. Comput. Sci. EATCS Ser., vol. 5. Springer, Heidelberg (1986)
31. Kupferman, O., Lustig, Y.: Lattice automata. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol. 4349, pp. 199-213. Springer, Heidelberg (2007)
32. Li, Y. M.: Finite automata based on quantum logic and monadic second-order quantum logic. Science China Information Sciences 53, 101-114 (2010)
33. Lukasiewicz, J.: O logice trojwartosciowej. Ruch Filosoficzny 5, 169-171 (1920)
34. Mallya, A.: Deductive multi-valued model checking. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 297-310. Springer, Heidelberg (2005)
35. Mathissen, C.: Definable transductions and weighted logics for texts. In: Harju, T., Karhumäki, J., Lepistö, A. (eds.) DLT 2007. LNCS, vol. 4588, pp. 324-336. Springer, Heidelberg (2007)
36. Mathissen, C.: Weighted logics for nested words and algebraic formal power series. In: Aceto, L., Damgård, I., Goldberg, L. A., Halldórsson, M. M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol. 5126, pp. 221-232. Springer, Heidelberg (2008)
37. Meinecke, I.: Weighted logics for traces. In: Grigoriev, D., Harrison, J., Hirsch, E. A. (eds.) CSR 2006. LNCS, vol. 3967, pp. 235-246. Springer, Heidelberg (2006)
38. Perrin, D.: Finite automata. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, ch. 1, vol. B, pp. 3-57. Elsevier, Amsterdam (1990)
39. Perrin, D., Pin, J. E.: Infinite Words. Elsevier, Amsterdam (2004)
40. Post, E. L.: Introduction to a general theory of elementary propositions. Am. J. Math. 43, 163-185 (1921)
41. Qiu, D.: Automata theory based on quantum logic: some characterizations. Information and Computation 190, 179-195 (2004)
42. Qiu, D.: Automata theory based on quantum logic: Reversibilities and pushdown automata. Theoret. Comput. Sci. 386, 38-56 (2007) (Pubitemid 47464720)
43. Quaas, K.: Weighted timed MSO logics. In: Diekert, V., Nowotka, D. (eds.) DLT 2009. LNCS, vol. 5583, pp. 419-430. Springer, Heidelberg (2009)
44. Rahonis, G.: Weighted Muller tree automata and weighted logics. J. Automata, Languages and Combinatorics 12, 455-483 (2007)
45. Rahonis, G.: Fuzzy languages. In: [17], ch. 12
46. Salomaa, A., Soittola, M.: Automata-Theoretic Aspects of Formal Power Series. Texts and Monographs in Computer Science. Springer, Heidelberg (1978)
47. Schützenberger, M. P.: On the definition of a family of automata. Inf. and Control 4, 245-270 (1961)
48. Thomas, W.: Automata on infinite objects. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, ch. 4, vol. B, pp. 133-191. Elsevier Publishing Company, Amsterdam (1990)
49. Ying, M.: Automata theory based on quantum logic (I) and (II). Int. J. of Theoret. Physics 39, 985-995, 2545-2557 (2000)
50. Ying, M.: A theory of computation based on quantum logic (I). Theoret. Comput. Sci. 344, 134-207 (2005) (Pubitemid 41550359)