First-order aspects of tree paths

Logic Journal of the IGPL 23 (4):688-704 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzv026

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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

First-order theories of bounded trees.Ruaan Kellerman - 2021 - Archive for Mathematical Logic 61 (1):263-297.
Erratum to “The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories” Logic Journal of the IGPL, 16: 585–590. [REVIEW]Igor Oliveira & Walter Carnielli - 2009 - Logic Journal of the IGPL 17 (6):803-804.
On the identity type as the type of computational paths.F. Ramos Arthur, J. G. B. De Queiro Ruy & G. De Oliveira Anjolina - 2017 - Logic Journal of the IGPL 25 (4):562-584.
Classes and theories of trees associated with a class of linear orders.Valentin Goranko & Ruaan Kellerman - 2011 - Logic Journal of the IGPL 19 (1):217-232.
First-order hybrid logic: introduction and survey.T. Brauner - 2014 - Logic Journal of the IGPL 22 (1):155-165.
Unification in first-order transitive modal logic.Wojciech Dzik & Piotr Wojtylak - forthcoming - Logic Journal of the IGPL.
An expansion of first-order Belnap-Dunn logic.K. Sano & H. Omori - 2014 - Logic Journal of the IGPL 22 (3):458-481.
First-order probabilistic conditional logic and maximum entropy.J. Fisseler - 2012 - Logic Journal of the IGPL 20 (5):796-830.
A first-order probabilistic logic with approximate conditional probabilities.N. Ikodinovi, M. Ra Kovi, Z. Markovi & Z. Ognjanovi - 2014 - Logic Journal of the IGPL 22 (4):539-564.
LogAB: A first-order, non-paradoxical, algebraic logic of belief.H. O. Ismail - 2012 - Logic Journal of the IGPL 20 (5):774-795.

Analytics

Added to PP
2016-06-30

Downloads
27 (#576,365)

6 months
2 (#1,445,852)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

First-order theories of bounded trees.Ruaan Kellerman - 2021 - Archive for Mathematical Logic 61 (1):263-297.

Add more citations

References found in this work

A first-order axiomatization of the theory of finite trees.Rolf Backofen, James Rogers & K. Vijay-Shanker - 1995 - Journal of Logic, Language and Information 4 (1):5-39.

Add more references