A logic on subobjects and recognizability

DOI10.1007/978-3-642-15240-5_15MaRDI QIDQ3163884zbMATH OpenOpenAlexFDO

Authors H. J. Sander Bruggink, Barbara König

Publication date 27 October 2010

Published in IFIP Advances in Information and Communication Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15240-5_15

zbMATH Keywords

hereditary pushout categories

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in artificial intelligence (68T27)

Recommendations

• Recognizable languages of arrows and cospans
• On the Recognizability of Arrow and Graph Languages
• The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
• On the Expressive Power of Graph Logic
• The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability

Cited in

(4)

• On the axiomatic theory of identification of dynamic objects. I: Basic structures
• Syntactic recognizability of graphs with fuzzy attributes
• On the Recognizability of Arrow and Graph Languages
• Recognizable logics

This page was built for publication: A logic on subobjects and recognizability

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