𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logical equations in monadic logic

✍ Scribed by G. Mints; T. Hoshi

Publisher
Springer US
Year
2009
Tongue
English
Weight
230 KB
Volume
158
Category
Article
ISSN
1573-8795

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Reflection in Membership Equational Logi
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic
✍ Manuel Clavel; JosΓ© Meseguer; Miguel Palomino πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 254 KB

We show that the generalized variant of rewriting logic where the underlying equational specifications are membership equational theories, and where the rules are conditional and can have equations, memberships and rewrites in the conditions is reflective. We also show that membership equational log

Circle graphs and monadic second-order l
Circle graphs and monadic second-order logic
✍ Bruno Courcelle πŸ“‚ Article πŸ“… 2008 πŸ› Elsevier Science 🌐 English βš– 357 KB

This article is part of a project consisting in expressing, whenever possible, graph properties and graph transformations in monadic second-order logic or in its extensions using modulo p cardinality set predicates or auxiliary linear orders. A circle graph is the intersection graph of a set of chor

Monadic Second Order Logic And Its Fragm
Monadic Second Order Logic And Its Fragments
✍ Giacomo Lenzi πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 230 KB

Various recent results about monadic second order logic and its fragments are presented. These results have been obtained in the framework of the EU TMR Project GETGRATS.