The following pages link to (Q5668436):
Displayed 32 items.
- Time and determinism (Q266653) (← links)
- The logic of empirical theories revisited (Q383008) (← links)
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts (Q484112) (← links)
- BH-CIFOL: case-intensional first order logic. II: Branching histories (Q484180) (← links)
- Worlds, times and selves revisited (Q516427) (← links)
- Prolegomenon to norms in branching space-times (Q545167) (← links)
- On certain weak phase transformations in multilattices (Q702328) (← links)
- 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 (Q789382) (← links)
- Axiomatic foundations of the kinematics common to classical physics and special relativity (Q793516) (← links)
- Truth values, neither-true-nor-false, and supervaluations (Q1015489) (← links)
- Interpreting network formalisms (Q1056560) (← links)
- On wave functions in quantum mechanics. III: A theory of quantum mechanics where wave functions are defined by means of surely fundamental observables (Q1150814) (← links)
- A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan (Q1163535) (← links)
- Contributions to foundations of probability calculus on the basis of the modal logical calculus MC(nu) or MC*(nu) (Q1164041) (← links)
- A new modal language with the lambda operator (Q1171049) (← links)
- Branching space-time (Q1198418) (← links)
- The interpreted type-free modal calculus \(MC^\infty\). III: Ordinals and cardinals im \(MC^\infty\) (Q1216292) (← links)
- Investigations into quantified modal logic. I (Q1227597) (← links)
- Universal semantics? (Q1228604) (← links)
- Laws, modalities and counterfactuals (Q1239724) (← links)
- The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based (Q1248616) (← links)
- In the realm of agents (Q1353843) (← links)
- 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 (Q1394219) (← links)
- Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects (Q1702980) (← links)
- The interpreted type-free modal calculus MC\(^\infty\). II: Foundations of MC\(^\infty\) (Q1844817) (← links)
- The hooded man (Q1863961) (← links)
- On Gupta's book ``The logic of common nouns'''' (Q2366526) (← links)
- The reversibility objection against the second law of thermodynamics viewed, and avoided, from a logical point of view (Q2420729) (← links)
- Classes and change (Q2555485) (← links)
- All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument (Q3121970) (← links)
- Uncompactness of stit logics containing generalized refref conditionals (Q5937832) (← links)
- Contingent composition as identity (Q6088929) (← links)