- 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
Axiomatization of a Branching Time Logic with Indistinguishability Relations
Journal of Philosophical Logic 45 (2):155-182 (2016)
Abstract
Trees with indistinguishability relations provide a semantics for a temporal language “composed by” the Peircean tense operators and the Ockhamist modal operator. In this paper, a finite axiomatization with a non standard rule for this language interpreted over bundled trees with indistinguishability relations is given. This axiomatization is proved to be sound and strongly complete.My notes
Similar books and articles
Indistinguishability, Choices, and Logics of Agency.Alberto Zanardo - 2013 - Studia Logica 101 (6):1215-1236.
Undivided and indistinguishable histories in branching-time logics.Alberto Zanardo - 1998 - Journal of Logic, Language and Information 7 (3):297-315.
Axiomatization of 'peircean' branching-time logic.Alberto Zanardo - 1990 - Studia Logica 49 (2):183 - 195.
A Gabbay-Rule Free Axiomatization of T x W Validity.Maria Concetta Di Maio & Alberto Zanardo - 1998 - Journal of Philosophical Logic 27 (5):435 - 487.
Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):221-242.
Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3):221-242.
Non-definability of the class of complete bundled trees.A. Zanardo, B. Barcellan & M. Reynolds - 1999 - Logic Journal of the IGPL 7 (1):125-136.
Finite Trees in Tense Logic.Bellissima Fabio & Cittadini Saverio - 1999 - Studia Logica 62 (2):121-140.
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.Valentin Goranko & Alberto Zanardo - 2007 - Logic Journal of the IGPL 15 (1):53-76.
Analytics
Added to PP
2015-04-21
Downloads
26 (#145,883)
6 months
3 (#1,723,834)
2015-04-21
Downloads
26 (#145,883)
6 months
3 (#1,723,834)
Historical graph of downloads
References found in this work
Facing the future: agents and choices in our indeterminist world.Nuel D. Belnap - 2001 - New York: Oxford University Press. Edited by Michael Perloff & Ming Xu.
Facing the Future: Agents and Choices in Our Indeterminist World.Nuel Belnap, Michael Perloff & Ming Xu - 2001 - Philosophical Quarterly 52 (209):660-662.
Temporal Logic: Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark A. Reynolds - 1994 - Oxford University Press on Demand.
An irreflexivity lemma with applications to axiomatizations of conditions on tense frames.Dov M. Gabbay - 1981 - In Uwe Mönnich (ed.), Aspects of Philosophical Logic: Some Logical Forays Into Central Notions of Linguistics and Philosophy. Dordrecht, Netherland: Dordrecht. pp. 67--89.
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-6686886f5-ktvwr uwo