scientific article; zbMATH DE number 3051937
From MaRDI portal
Publication:5791197
zbMath0034.00301MaRDI QIDQ5791197
Publication date: 1948
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items
New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*, Tarski, truth and natural languages, Reasoning about actions and obligations in first-order logic, Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system], Hans Reichenbach in Istanbul, Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions, On Walter Dubislav, A Compositional Semantics for ‘If Then’ Conditionals, Supposition: A Problem for Bilateralism, The Semantics of Actuality Terms: Indexical vs. Descriptive Theories, Necessitarian propositions, On the problems of time retrieval of temporal relations causality, and coexistence, As time goes by, Unnamed Item, Cross-World Identity, Temporal Quantifiers and the Question of Tensed Contents, A relational formulation of the theory of types, Prior and temporal sequences for natural language, Reichenbach, Prior and hybrid tense logic, Existential Graphs: What a Diagrammatic Logic of Cognition Might Look Like, Constructing situations and time, Adverbs and events, Mathematical beauty, understanding, and discovery, Causal slingshots, Reichenbach's theory of nomological statements, Consistency proofs for applied mathematics, Laws, modalities and counterfactuals, The logic of temporal discourse, Reichenbach and the logic of quantum mechanics, Linguistics and natural logic, Some problems concerning the logic of grammatical modifiers, Conditions for Lyapunov stability, A new symbolism for the propositional calculus, Scientific explanation: A critical survey, A Road Map of Interval Temporal Logics and Duration Calculi, A Road Map of Interval Temporal Logics and Duration Calculi, A New–old Characterisation of Logical Knowledge, Unnamed Item
