- 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
Temporal logics of “the next” do not have the beth property
Journal of Applied Non-Classical Logics 1 (1):73-76 (1991)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Interpolation and implicit definability in extensions of the provability logic.Larisa Maksimova - 2008 - Logic and Logical Philosophy 17 (1-2):129-142.
Algebraic characterizations of various Beth definability properties.Eva Hoogland - 2000 - Studia Logica 65 (1):91-112.
Interpolation and definability in abstract logics.Finn V. Jensen - 1974 - Synthese 27 (1-2):251 - 257.
Interpolation and Definability over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
On the Beth properties of some intuitionistic modal logics.C. Luppi - 2002 - Archive for Mathematical Logic 41 (5):443-454.
On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
Interpolation and amalgamation; pushing the limits. Part I.Judit X. Madarász - 1998 - Studia Logica 61 (3):311-345.
Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
Decidability Results for Metric and Layered Temporal Logics.Angelo Montanari & Alberto Policriti - 1996 - Notre Dame Journal of Formal Logic 37 (2):260-282.
Decidability and incompleteness results for first-order temporal logics of linear time.Stephan Merz - 1992 - Journal of Applied Non-Classical Logics 2 (2):139-156.
Analytics
Added to PP
2014-01-21
Downloads
13 (#973,701)
6 months
1 (#1,444,594)
2014-01-21
Downloads
13 (#973,701)
6 months
1 (#1,444,594)
Historical graph of downloads
Citations of this work
Logical Questions Concerning the $\mu$-Calculus: Interpolation, Lyndon and Los-Tarski.Giovanna D'agostino & Marco Hollenberg - 2000 - Journal of Symbolic Logic 65 (1):310-332.
Larisa Maksimova on Implication, Interpolation, and Definability.Sergei Odintsov (ed.) - 2018 - Cham, Switzerland: Springer Verlag.
References found in this work
Three uses of the herbrand-Gentzen theorem in relating model theory and proof theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.
Sequential Calculus for a First Order Infinitary Temporal Logic.Hiroya Kawai - 1987 - Mathematical Logic Quarterly 33 (5):423-432.
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-6d9b7f7c4c-67rzb uwo