✦ LIBER ✦

First Order Predicate Logic with Generalized Quantifiers

Book ID: 114916115
Publisher: Wiley (Blackwell Publishing)
Year: 2008
Tongue: English
Weight: 448 KB
Volume: 32
Category: Article
ISSN: 1755-2567
DOI: 10.1111/j.1755-2567.1966.tb00600.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Characterizing Second Order Logic with F

Characterizing Second Order Logic with First Order Quantifiers

✍ David Harel 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 257 KB

CHARACTERIZING SECOND ORDER LOGIC WITH FIRST ORDER QU-4NTIFIERX by DAVID HAREL in Cambridge, Massachusets (U.S.A.) l) ') The author is indebted to W. J. WALKOE, A. R. MEYER, A. SHAMIR and a rcfeiee for comments on previous versions.

Predicate provability logic with non-mod

Predicate provability logic with non-modalized quantifiers

✍ Giorgie Dzhaparidze 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 585 KB

Binary decision diagrams for first-order

Binary decision diagrams for first-order predicate logic

✍ Jan Friso Groote; Olga Tveretina 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 257 KB

Order-sorted logic programming with pred

Order-sorted logic programming with predicate hierarchy

✍ Ken Kaneiwa 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 400 KB

On a decidable generalized quantifier lo

On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic

✍ Natasha Alechina 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 784 KB

First-order spectra with one binary pred

First-order spectra with one binary predicate

✍ Arnaud Durand; Solomampionona Ranaivoson 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 961 KB