Prominent publications by A Calò
[ PUBLICATION ]
We present in this paper Ehrenfeucht-Fraïssé games for the transitive closure logics DTC, TC and ATC. Although the existence of such games for logics with generalized quantifiers was known before, the exact formulation of these games for the predicate transformers arising from various transitive-closure-like operations is new. The games are sound and complete both for finite and infinite models. Combined with well known theorems of Fagin and Immerman these games shed new light on a model ...
|Also Ranks for: Transitive Closure | complexity classes | order logic | infinite models|
A Calò: Influence Statistics
|allodynia female humans||#30|
|transitive closure logic||#32|
Key People For Ear Syndrome
A Calò:Expert Impact
Concepts for whichA Calòhas direct influence:Ear syndrome, Transitive closure, Osmophobia allodynia, Study osmophobia, Allodynia female humans, Primary headaches, Migraine disorders, Transitive closure logic.
A Calò:KOL impact
Concepts related to the work of other authors for whichfor which A Calò has influence:Ear syndrome, Migraine aura, Order logic, Type headache, Model theory, Dietary trigger, Cutaneous allodynia.
Is this your profile? Claim your profile Copy URL Embed Link to your profile