Monadic partition logics and finite automata

DOI10.1016/0304-3975(95)00113-1MaRDI QIDQ671644zbMATH OpenOpenAlexFDO

Authors Enshao Shen, Qijia Tian

Publication date 27 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(95)00113-1

zbMATH Keywords

finite automataformal languagesmonadic partition logicsmonadic partition quantifiers

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic with extra quantifiers and operators (03C80)

Recommendations

• scientific article; zbMATH DE number 847011
• scientific article; zbMATH DE number 857608
• scientific article; zbMATH DE number 988809
• scientific article; zbMATH DE number 1829145
• Propositional logic and cellular automata on monoids
• Product of partition logics, orthoalgebras, and automata
• Weighted automata and monadic second order logic
• Monadic logic programs and functional complexity
• Monadic logic and Löwenheim numbers
• Monoidal logics: completeness and classical systems

Cites work

• scientific article; zbMATH DE number 1678371 (Why is no real title available?)
• scientific article; zbMATH DE number 991699 (Why is no real title available?)
• scientific article; zbMATH DE number 3819693 (Why is no real title available?)
• scientific article; zbMATH DE number 4076666 (Why is no real title available?)
• scientific article; zbMATH DE number 408785 (Why is no real title available?)
• scientific article; zbMATH DE number 1256653 (Why is no real title available?)
• scientific article; zbMATH DE number 612169 (Why is no real title available?)
• scientific article; zbMATH DE number 1142311 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 1829145 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• scientific article; zbMATH DE number 3368555 (Why is no real title available?)
• A partial approach to model checking
• Application of model theoretic games to discrete linear orders and finite automata
• Classifying regular events in symbolic logic
• DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS < ω2
• Downward transfer of satisfiability for sentences of L^1,1
• First-order logic and star-free sets
• Henkin quantifiers and complete problems
• Languages that Capture Complexity Classes
• Monadic generalized spectra
• Monadic partition logics and finite automata
• Some notes on graph automata, tiling systems and partition logic
• Some results on the generalized star-height problem
• The monadic theory of ω₂
• Three characterizing numbers of partition logics
• Weak Second‐Order Arithmetic and Finite Automata

Cited in

(7)

• Some notes on graph automata, tiling systems and partition logic
• Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of -automata
• A generalized time quantifier approach to approximate reasoning
• Product of partition logics, orthoalgebras, and automata
• Classifying regular languages by a split game
• scientific article; zbMATH DE number 203970 (Why is no real title available?)
• Monadic partition logics and finite automata

Describes a project that uses

Uses Software

• GraphLog

This page was built for publication: Monadic partition logics and finite automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q671644)