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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

The monadic second-order logic of graphs IV: Definability properties of equational graphs.Bruno Courcelle - 1990 - Annals of Pure and Applied Logic 49 (3):193.
Monadic second-order properties of very sparse random graphs.L. B. Ostrovsky & M. E. Zhukovskii - 2017 - Annals of Pure and Applied Logic 168 (11):2087-2101.
R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, and S. F. Smith. Implementing mathematics with the Nuprl proof development system. Prentice Hall, Englewood Cliffs, N. J., 1986, x + 299 pp. [REVIEW]Michael J. Beeson - 1990 - Journal of Symbolic Logic 55 (3):1299-1302.
Baaz, M., HaHjek, P., Montagna, F. and Veith, H., Complexity of t-tautologies (1} 3) 3} 11 Beauquier, D. and Slissenko, A., A" rst order logic for speci" cation of timed algorithms: basic properties and a decidable class (1} 3) 13} 52. [REVIEW]L. Boasson, P. Cegielski, I. Guessarian, Y. Matiyasevich, E. Dantsin, M. Gavrilovich, E. A. Hirsch & B. Konev - 2001 - Annals of Pure and Applied Logic 113 (399):400.
Circle graphs and monadic second-order logic.Bruno Courcelle - 2008 - Journal of Applied Logic 6 (3):416-442.
Peirce's Logical Graphs for Boolean Algebras and Distributive Lattices.Minghui Ma - 2018 - Transactions of the Charles S. Peirce Society 54 (3):320.
Correction to: Decidability of interpretability logics IL M 0 and IL W.Luka Mikec, Tin Perkov & Mladen Vukoviĉ - 2024 - Logic Journal of the IGPL 32 (5):936-937.
On second-order characterizability.T. Hyttinen, K. Kangas & J. Vaananen - 2013 - Logic Journal of the IGPL 21 (5):767-787.
The monadic second-order logic of graphs XV: On a conjecture by D. Seese.Bruno Courcelle - 2006 - Journal of Applied Logic 4 (1):79-114.
A Comparative Study of Three Resolving Parameters of Graphs.Hafiz Muhammad Ikhlaq, Hafiz Muhammad Afzal Siddiqui & Muhammad Imran - 2021 - Complexity 2021:1-13.

Analytics

Added to PP
2016-06-30

Downloads
29 (#773,918)

6 months
9 (#482,469)

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