Sciweavers

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

100

Voted

AML
2010

106views more AML 2010»

Definability of second order generalized quantifiers

15 years 10 days 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)