scientific article; zbMATH DE number 3402572
From MaRDI portal
Publication:5668436
zbMath0255.02015MaRDI QIDQ5668436
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Model theory (03C99) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items (32)
Time and determinism ⋮ On Gupta's book ``The logic of common nouns' ⋮ In the realm of agents ⋮ The logic of empirical theories revisited ⋮ The interpreted type-free modal calculus MC\(^\infty\). I: The type free extensional calculus EC\(^\infty\) involving individuals, and the interpreted language ML\(^\infty\) on which MC\(\infty\) is based ⋮ The reversibility objection against the second law of thermodynamics viewed, and avoided, from a logical point of view ⋮ Contingent composition as identity ⋮ On wave functions in quantum mechanics. III: A theory of quantum mechanics where wave functions are defined by means of surely fundamental observables ⋮ Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects ⋮ A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan ⋮ Contributions to foundations of probability calculus on the basis of the modal logical calculus MC(nu) or MC*(nu) ⋮ A new modal language with the lambda operator ⋮ CIFOL: case-intensional first order logic. I: Toward a theory of sorts ⋮ BH-CIFOL: case-intensional first order logic. II: Branching histories ⋮ Worlds, times and selves revisited ⋮ Branching space-time ⋮ Prolegomenon to norms in branching space-times ⋮ On certain weak phase transformations in multilattices ⋮ Uncompactness of stit logics containing generalized refref conditionals ⋮ The interpreted type-free modal calculus \(MC^\infty\). III: Ordinals and cardinals im \(MC^\infty\) ⋮ Investigations into quantified modal logic. I ⋮ Universal semantics? ⋮ Laws, modalities and counterfactuals ⋮ The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based ⋮ Truth values, neither-true-nor-false, and supervaluations ⋮ Classes and change ⋮ All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument ⋮ The interpreted type-free modal calculus MC\(^\infty\). II: Foundations of MC\(^\infty\) ⋮ Contributions to foundations of probability calculus on the basis of the modal logical calculus \(MC^{\nu}\) or \(MC_*\!^{\nu}.III:\) An analysis of the notions of random variables and probability spaces, based on modal logic ⋮ Axiomatic foundations of the kinematics common to classical physics and special relativity ⋮ Interpreting network formalisms ⋮ The hooded man
This page was built for publication:
