- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Definability and decidability of binary predicates for time granularity
Journal of Applied Logic 4 (2):168-191 (2006)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
On the relationships between theories of time granularity and the monadic second-order theory of one successor.Angelo Montanari, Adriano Peron & Gabriele Puppis - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):433-455.
The decision problem for branching time logic.Yuri Gurevich & Saharon Shelah - 1985 - Journal of Symbolic Logic 50 (3):668-681.
The Axiom of Choice in Second‐Order Predicate Logic.Christine Gaßner - 1994 - Mathematical Logic Quarterly 40 (4):533-546.
A note on definability in fragments of arithmetic with free unary predicates.Stanislav O. Speranski - 2013 - Archive for Mathematical Logic 52 (5-6):507-516.
Decidability Results for Metric and Layered Temporal Logics.Angelo Montanari & Alberto Policriti - 1996 - Notre Dame Journal of Formal Logic 37 (2):260-282.
Theories of ω-layered metric temporal structures: expressiveness and decidability.A. Montanari, A. Peron & A. Policriti - 1999 - Logic Journal of the IGPL 7 (1):79-102.
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.Davide Bresolin, Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2010 - Annals of Pure and Applied Logic 161 (3):289-304.
Decidability and Definability in Second-Order Theories.Michael O. Rabin - 1975 - Journal of Symbolic Logic 40 (4):623-623.
Some theorems on definability and decidability.Alonzo Church & W. V. Quine - 1952 - Journal of Symbolic Logic 17 (3):179-187.
Biomedical informatics and granularity.Anand Kumar & Barry Smith - 2004 - Comparative and Functional Genomics 5 (6-7):501-508.
Decidability of Definability.Manuel Bodirsky, Michael Pinsker & Todor Tsankov - 2013 - Journal of Symbolic Logic 78 (4):1036-1054.
Church Alonzo and Quine W. V.. Some theorems on definability and decidability. [REVIEW]Julia Robinson - 1953 - Journal of Symbolic Logic 18 (3):269-269.
Review: Alonzo Church, W. V. Quine, Some Theorems on Definability and Decidability. [REVIEW]Julia Robinson - 1953 - Journal of Symbolic Logic 18 (3):269-269.
Review: Michael O. Rabin, Decidability and Definability in Second-Order Theories. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):623-623.
Analytics
Added to PP
2016-06-30
Downloads
11 (#1,022,695)
6 months
6 (#292,930)
2016-06-30
Downloads
11 (#1,022,695)
6 months
6 (#292,930)
Historical graph of downloads
Citations of this work
Ensemble Prediction Algorithm of Anomaly Monitoring Based on Big Data Analysis Platform of Open-Pit Mine Slope.Song Jiang, Minjie Lian, Caiwu Lu, Qinghua Gu, Shunling Ruan & Xuecai Xie - 2018 - Complexity 2018:1-13.
On the relationships between theories of time granularity and the monadic second-order theory of one successor.Angelo Montanari, Adriano Peron & Gabriele Puppis - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):433-455.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-67c5d994d4-h99d7 uwo