- 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.
Axiomatization of 'peircean' branching-time logic.Alberto Zanardo - 1990 - Studia Logica 49 (2):183 - 195.
Undivided and indistinguishable histories in branching-time logics.Alberto Zanardo - 1998 - Journal of Logic, Language and Information 7 (3):297-315.
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.
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.
An axiomatization of full computation tree logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.
Topological aspects of branching-time semantics.Michela Sabbadin & Alberto Zanardo - 2003 - Studia Logica 75 (3):271 - 286.
Prediction in Branching Time Logic.Giacomo Bonanno - 2001 - Mathematical Logic Quarterly 47 (2):239-248.
An extended branching-time ockhamist temporal logic.Mark Brown & Valentin Goranko - 1999 - Journal of Logic, Language and Information 8 (2):143-166.
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.
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.
An axiomatization for until and since over the reals without the IRR rule.Mark Reynolds - 1992 - Studia Logica 51 (2):165 - 193.
Analytics
Added to PP
2015-04-21
Downloads
25 (#618,847)
6 months
2 (#1,240,909)
2015-04-21
Downloads
25 (#618,847)
6 months
2 (#1,240,909)
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 U. Mönnich (ed.), Aspects of Philosophical Logic. 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-7c76586df8-5tf24 uwo