The following pages link to The unreal future (Q3874178):
Displayed 11 items.
- Rich deontic logic: A preliminary study (Q598541) (← links)
- Completeness of a branching-time logic with possible choices (Q622622) (← links)
- Moment/history duality in Prior's logics of branching-time (Q857669) (← links)
- Branching versus linear logics yet again (Q911747) (← links)
- Informational branching universe (Q980541) (← links)
- A finite axiomatization of the set of strongly valid Ockhamist formulas (Q1066884) (← links)
- Decidability for branching time (Q1155599) (← links)
- First-order definability of transition structures (Q2322984) (← links)
- Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
- Obligation, contracts, and negotiation: Outlining an approach (Q2568338) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)