The modal logic of potential infinity: branching versus convergent possibilities
From MaRDI portal
Cites work
- Actual and potential infinity
- Assumptions of infinity
- Axioms for Branching Time
- Decidability for branching time
- Decidable fragments of first-order temporal logics
- Higher-order logic or set theory: a false dilemma
- scientific article; zbMATH DE number 3710115 (Why is no real title available?)
- scientific article; zbMATH DE number 194101 (Why is no real title available?)
- scientific article; zbMATH DE number 2168553 (Why is no real title available?)
- scientific article; zbMATH DE number 5790393 (Why is no real title available?)
- scientific article; zbMATH DE number 3271460 (Why is no real title available?)
- Investigation on fragments of first order branching temporal logic
- Philosophy and model theory
- Problems and riddles: Hilbert and the du Bois-Reymonds
- Second-Order Logic and Foundations of Mathematics
- Second-order logic and the power set
- Strong logics of first and second order
- Systems of predicative analysis
- Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
- Temporal logic. Vol. 2. Mathematical foundations and computational aspects
- The general theory of functions. Part I. Metaphysics and the theory of fundamental concepts of mathematics: quantity, limit, argument and function.
- THE POTENTIAL HIERARCHY OF SETS
- The power of temporal proofs
- The strong future tense
- The works of Aristotle. Translated into English. Physica. By R. P. Hardie and R. K. Gaye.
This page was built for publication: The modal logic of potential infinity: branching versus convergent possibilities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7228618)
