- 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
Jerzy Łoś Positional Calculus and the Origin of Temporal Logic
Logic and Logical Philosophy:1 (forthcoming)
Abstract
This article has no associated abstract. (fix it)Author Profiles
DOI
10.12775/llp.2018.013
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Completeness of Minimal Positional Calculus.Tomasz Jarmużek & Andrzej Pietruszczak - 2004 - Logic and Logical Philosophy 13:147-162.
On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations.Renwei Li & Jose Carmo - 1995 - Logic Journal of the IGPL 3 (5):765-790.
Negation in Weak Positional Calculi.Marcin Tkaczyk - 2013 - Logic and Logical Philosophy 22 (1):3-19.
Synchronized Linear-Time Temporal Logic.Heinrich Wansing & Norihiro Kamide - 2011 - Studia Logica 99 (1-3):365-388.
A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. da Costa - 1979 - Studia Logica 38 (4):429-445.
A new formulation of discussive logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
Temporal non-commutative logic: Expressing time, resource, order and hierarchy.Norihiro Kamide - 2009 - Logic and Logical Philosophy 18 (2):97-126.
An infinitary variant of Metric Temporal Logic over dense time domains.S. Baratella - 2004 - Mathematical Logic Quarterly 50 (3):249.
A note on unbounded metric temporal logic over dense time domains.Stefano Baratella & Andrea Masini - 2006 - Mathematical Logic Quarterly 52 (5):450-456.
A Relational Model For Temporal Logic.B. von Karger & R. Berghammer - 1998 - Logic Journal of the IGPL 6 (2):157-173.
The modular logic as a calculus of logical schemata.Jerzy Kotas - 1971 - Studia Logica 27 (1):73 - 79.
Tomasz Jarmużek and Marcin Tkaczyk: "Normaine logiki pozycyjne", Wydawnictwo KUL, Lublin, 2015. [REVIEW]Mateusz Klonowski - 2016 - Logic and Logical Philosophy 25 (2):235-241.
The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Proof of the Axiomatizability of full Many-Valued Systems of Propositional Calculus.Jerzy Slupecki - 1946 - Journal of Symbolic Logic 11 (3):92-93.
A Variant of the Proof of the Completeness of the First Order Functional Calculus.Jerzy Slupecki & Witold A. Pogorzelski - 1971 - Journal of Symbolic Logic 36 (4):688-689.
Analytics
Added to PP
2018-09-26
Downloads
17 (#658,171)
6 months
4 (#198,090)
2018-09-26
Downloads
17 (#658,171)
6 months
4 (#198,090)
Historical graph of downloads
Author Profiles
Citations of this work
B-Theory and Time Biases.Sayid Bnefsi - 2019 - In Patrick Blackburn, Per Hasle & Peter Øhrstrøm (eds.), Logic and Philosophy of Time: Further Themes from Prior. Aalborg, Denmark: Aalborg University Press. pp. 41-52.
Arthur N. Prior and the Lvov-Warsaw School.Zuzana Rybaříková - 2022 - History and Philosophy of Logic 44 (1):91-103.
References found in this work
Time and modality.A. N. Prior - 1957 - Revue Philosophique de la France Et de l'Etranger 148:114-115.
Papers on time and tense.A. N. Prior - 1968 - Revue Philosophique de la France Et de l'Etranger 160:500-501.
Temporal Logic: From Ancient Ideas to Artificial Intelligence.Peter Øhrstrøm & Per F. V. Hasle - 1995 - Dordrecht and Boston: Kluwer Academic Publishers.
Three-valued logic and future contingents.A. N. Prior - 1953 - Philosophical Quarterly 3 (13):317-326.
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-5b5888c749-fsgz8 N