Pages that link to "Item:Q1047798"
From MaRDI portal
The following pages link to Hybrid counterfactual logics. David Lewis meets Arthur Prior again (Q1047798):
Displaying 5 items.
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
- Proof analysis for Lewis counterfactuals (Q2804473) (← links)
- Sequent Systems for Lewis’ Conditional Logics (Q2915082) (← links)
- Axiomatizing Hybrid Products of Monotone Neighborhood Frames (Q4917079) (← links)
- Interpretation of hybrid counterfactual logic into hybrid tense logic: and comparison of their expressive power on temporal sphere models. (Q6661241) (← links)