Expressing properties in second- and third-order logic: hypercube graphs and SATQBF

, &
Logic Journal of the IGPL 22 (2):355-386 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzt025

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A New Three Dimensional Bivalent Hypercube Description, Analysis, and Prospects for Research.Jeremy Horne - 2012 - Neuroquantology 10 (1):12.
Towards a characterization of order-invariant queries over tame graphs.Michael A. Benedikt & Luc Segoufin - 2009 - Journal of Symbolic Logic 74 (1):168-186.
Two cardinal properties of homogeneous graphs.Gregory Cherlin & Simon Thomas - 2002 - Journal of Symbolic Logic 67 (1):217-220.
Peirce’s graphs amended.B. H. Slater - 1998 - History and Philosophy of Logic 19 (2):101-106.
Properties and the Interpretation of Second-Order Logic.B. Hale - 2013 - Philosophia Mathematica 21 (2):133-156.
Reachability is harder for directed than for undirected finite graphs.Miklos Ajtai & Ronald Fagin - 1990 - Journal of Symbolic Logic 55 (1):113-150.
Remarks on the iconicity and interpretation of existential graphs.Risto Hilpinen - 2011 - Semiotica 2011 (186):169-187.
Peirce, logic diagrams, and the elementary operations of reasoning.P. N. Johnson-Laird - 2002 - Thinking and Reasoning 8 (1):69 – 95.
Graph structure and monadic second-order logic: a language-theoretic approach.B. Courcelle - 2012 - New York: Cambridge University Press. Edited by Joost Engelfriet.
Universality for Orders and Graphs Which Omit Large Substructures.Katherine Thompson - 2006 - Notre Dame Journal of Formal Logic 47 (2):233-248.
The complexity of random ordered structures.Joel H. Spencer & Katherine St John - 2008 - Annals of Pure and Applied Logic 152 (1):174-179.
Graphs and order. The role of graphs in the theory of ordered sets and its applications, edited by rival Ivan, nato asi series c, vol. 147, D. reidel publishing company, dordrecht, boston, and Lancaster, 1985, XIX+ 796 pp. [REVIEW]R. Downey - 1992 - Journal of Symbolic Logic 57 (1):269-271.
Random graphs in the monadic theory of order.Shmuel Lifsches & Saharon Shelah - 1999 - Archive for Mathematical Logic 38 (4-5):273-312.
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.

Analytics

Added to PP
2016-06-30

Downloads
18 (#837,580)

6 months
1 (#1,478,551)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references