Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

AML
2010

favoriteEmaildiscussreport

106views more AML 2010»

Definability of second order generalized quantifiers

13 years 1 months ago

Definability of second order generalized quantifiers

Download www.jakubszymanik.com

We study definability of second-order generalized quantifiers. We show that the question whether a second-order generalized quantifier Q1 is definable in terms of another quantifier Q2, the base logic being monadic second-order logic, reduces to the question if a quantifier Q1 is definable in FO(Q2, <, +,

Juha Kontinen

Real-time Traffic

AML 2010 | Artificial Intelligence | Monadic Second-order | Monadic Second-order Majority | Second-order Generalized Quantifiers |

claim paper

Related Content

» Representability in SecondOrder Propositional PolyModal Logic

» Expressing Cardinality Quantifiers in Monadic SecondOrder Logic over Trees

» New Algorithm for Weak Monadic SecondOrder Logic on Inductive Structures

» Automated Synthesis of Induction Axioms for Programs with SecondOrder Recursion

» SecondOrder Consensus for Multiagent Systems With Directed Topologies and Nonlinear Dynami...

» On Quantification with A Finite Universe

» From a Zoo to a Zoology Towards a General Theory of Graph Polynomials

» Dynamics based alignment of proteins an alternative approach to quantify dynamic similarit...

» On Counting Generalized Colorings

Post Info
More Details (n/a)

Added	20 Mar 2011
Updated	20 Mar 2011
Type	Journal
Year	2010
Where	AML
Authors	Juha Kontinen

Comments (0)