scientific article

Publication date: 1957

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Philosophy Foundations Mathematical Logic

Related Items (only showing first 100 items - show all)

Time and determinism ⋮ Decidability of order-based modal logics ⋮ Finite \(H\)-dimension does not imply expressive completeness ⋮ The logic of ``initially and ``next: complete axiomatization and complexity ⋮ Dualities for Płonka sums ⋮ Transition semantics for branching time ⋮ On Hamblin's 15 Tense Theorem ⋮ Temporal Logic and Fair Discrete Systems ⋮ Models for normal intuitionistic modal logics ⋮ An algebraic synthesis of the foundations of logic and probability ⋮ Unnamed Item ⋮ Branching Time? Pruning Time! ⋮ A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning ⋮ A sound and complete axiomatization for Dynamic Topological Logic ⋮ Active logic semantics for a single agent in a static world ⋮ Some calculus for a logic of change ⋮ Representing any-time and program-iteration by infinitary conjunction ⋮ A propositional probabilistic logic with discrete linear time for reasoning about evidence ⋮ Branching in the landscape of possibilities ⋮ Algebraic semantics and model completeness for intuitionistic public announcement logic ⋮ Arthur Prior and medieval logic ⋮ Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Extending possibilistic logic over Gödel logic ⋮ A duality for involutive bisemilattices ⋮ A logical study of group-size based social network creation ⋮ The complexity of the temporal logic with ``until over general linear time ⋮ Proof theory of paraconsistent weak Kleene logic ⋮ Interval logics with applications to study of tense and aspect in English ⋮ Three-valued temporal logic \(Q_t\) and future contingents ⋮ The problem of future contingents: scoping out a solution ⋮ Axiomatising the Prior future in predicate logic ⋮ Predicate metric tense logic for `now' and `then' ⋮ On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ Some modal and temporal translations of generalized basic logic ⋮ First-order modal theories ⋮ \textit{Once} and \textit{for all} ⋮ The opacity of truth ⋮ Tomorrow’s Sea-Battle and the Beginning of Temporal Logic ⋮ Propensities and probabilities ⋮ Against the identification of assertoric content with compositional value ⋮ Necessitarian propositions ⋮ Discovering knowability: a semantic analysis ⋮ Mathematical modal logic: A view of its evolution ⋮ A propositional linear time logic with time flow isomorphic to \(\omega^2\) ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ A critical discussion of Prior's philosophical and tense-logical analysis of the ideas of indeterminism and human freedom ⋮ A default-free solution to the imperfective paradox ⋮ Domain science and engineering from computer science to the sciences of informatics. II: Science ⋮ Reflections on temporal and modal logic ⋮ Simple cut elimination proof for hybrid logic ⋮ Classical foundations of quantum logic ⋮ Algebraic Semantics for Hybrid Logics ⋮ Zolin and Pizzi: defining necessity from noncontingency ⋮ Cross-World Identity, Temporal Quantifiers and the Question of Tensed Contents ⋮ Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic ⋮ Stone-type representations and dualities for varieties of bisemilattices ⋮ Gamma graph calculi for modal logics ⋮ Prior's individuals ⋮ Prior, translational semantics, and the Barcan formula ⋮ Prior, Berkeley, and the Barcan formula ⋮ Solving Prior's problem with a Priorean tool ⋮ Prior on the semantics of modal and tense logic ⋮ Partial and paraconsistent approaches to future contingents in tense logic ⋮ Prior and possibly not existing ⋮ Where have all the Californian tense-logicians gone? ⋮ On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis ⋮ The grammar of Platonism ⋮ Temporal reference in linear tense logic ⋮ John McCarthy's legacy ⋮ Introspection as an action in relational models ⋮ The Arrow of Time through the Lens of Computing ⋮ Logic and time ⋮ `Now' and `then' in tense logic ⋮ From Philosophical to Industrial Logics ⋮ Worlds and times ⋮ Laws, modalities and counterfactuals ⋮ The logic of temporal discourse ⋮ On some intuitionistic modal logics ⋮ Parameterized Complexity of CTL ⋮ Is objectual identity really dispensable? ⋮ Lattices of finitely alternative normal tense logics ⋮ Tensed modalities ⋮ Linguistics and natural logic ⋮ Non-classical operations hidden in classical logic ⋮ The model checking fingerprints of CTL operators ⋮ Defining a relativity-proof notion of the present via spatio-temporal indeterminism ⋮ The tense logic for Master Argument in Prior's reconstruction ⋮ Indefinite topological logic ⋮ Prior-type modal logic. I ⋮ A strong completeness theorem in intuitionistic quantified modal logic ⋮ Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics ⋮ Another look on tense and related operators ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ Modal logic, truth, and the master modality. ⋮ A uniform tableau method for intuitionistic modal logics. I ⋮ Axiomatisation and decidability of \(F\) and \(P\) in cyclical time ⋮ Taking times out: tense logic as a theory of time ⋮ The genesis of possible worlds semantics ⋮ An equivalent CTL formulation for condition sequences

This page was built for publication: