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 (only showing first 100 items - show all)
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
This page was built for publication:
