scientific article
From MaRDI portal
Publication:3246315
zbMath0079.00606MaRDI QIDQ3246315
Publication date: 1957
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS, Parametrised Complexity of Satisfiability in Temporal Logic, Epimenides the Cretan, Topological Logic, Semantics for RKt, Relative necessity, An algebraic study of Diodorean modal systems, Results concerning same modal systems that contain S2, Philosophical Logic = Philosophy + Logic?, The Barcan formulas and necessary existence: the view from quarc, In What Sense is J.N. Findlay the Founding Father of Tense-logic?, Tense logics over lattices, Tense operators on distributive lattices with implication, Multiple-valued semantics for metric temporal logic, STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS, Local causation, Transparent fault tolerance for scalable functional computation, On the problems of time retrieval of temporal relations causality, and coexistence, Non-finite axiomatizability of dynamic topological logic, Embedding theorems for LTL and its variants, Modal logics of succession for 2-dimensional integral spacetime, Semantical analysis of weak Kleene logics, Unnamed Item, From Monadic Logic to PSL, Introduction, Jerzy Łoś Positional Calculus and the Origin of Temporal Logic, Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras, Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality, Logic of Social Ontology and Łoś’s Operator, On the Blok-Esakia Theorem, There are infinitely many Diodorean modal functions, Internal Negation and the Principles of Non-Contradiction and of Excluded Middle in Aristotle, Probabilistic Temporal Logics, Functions of Propositions, MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS, 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
