Pages that link to "Item:Q1327485"
From MaRDI portal
The following pages link to Decidability of stit theory with a single agent and Refref equivalence (Q1327485):
Displaying 7 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Axioms for deliberative stit (Q1272834) (← links)
- Propositional \(\text Q\)-logic (Q1863958) (← links)
- Busy choice sequences refraining formulas and modalities (Q1893121) (← links)
- On the basic logic of<i>STIT</i>with a single agent (Q4842624) (← links)
- Uncompactness of stit logics containing generalized refref conditionals (Q5937832) (← links)
