Pages that link to "Item:Q484180"
From MaRDI portal
The following pages link to BH-CIFOL: case-intensional first order logic. II: Branching histories (Q484180):
Displaying 6 items.
- Time and determinism (Q266653) (← links)
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts (Q484112) (← links)
- Monotonic and non-monotonic embeddings of Anselm's proof (Q523299) (← links)
- Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects (Q1702980) (← links)
- The reversibility objection against the second law of thermodynamics viewed, and avoided, from a logical point of view (Q2420729) (← links)
- Past, present and future modally introduced (Q2695165) (← links)
