Pages that link to "Item:Q622622"
From MaRDI portal
The following pages link to Completeness of a branching-time logic with possible choices (Q622622):
Displaying 6 items.
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
- Indistinguishability, choices, and logics of agency (Q2016056) (← links)
- From oughts to goals: a logic for Enkrasia (Q2304625) (← links)
- Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox (Q4683215) (← links)
- Actual cause and chancy causation in \textit{stit}: a preliminary account (Q6629070) (← links)
