Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671): Difference between revisions

@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for deliberative stit
@@ Property / cites work: Axioms for deliberative stit / rank @@
+Normal rank
@@ Property / cites work @@
+Alternative axiomatics and complexity of deliberative STIT theories
+Normal rank
@@ Property / cites work @@
+Conditional obligation, deontic paradoxes, and the logic of agency
+Normal rank
@@ Property / cites work @@
+Q4938869
@@ Property / cites work: Q4938869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218022
@@ Property / cites work: Q4218022 / rank @@
+Normal rank
@@ Property / cites work @@
+In the realm of agents
@@ Property / cites work: In the realm of agents / rank @@
+Normal rank
@@ Property / cites work @@
+The way of the agent
@@ Property / cites work: The way of the agent / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
+Normal rank
@@ Property / cites work @@
+A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
+Normal rank
@@ Property / cites work @@
+Deontic epistemic stit logic distinguishing modes of mens rea
+Normal rank
@@ Property / cites work @@
+Making a start with the stit logic analysis of intentional action
+Normal rank
@@ Property / cites work @@
+Q2852085
@@ Property / cites work: Q2852085 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding Alternating-time Temporal Logic in Strategic  Logic of Agency
+Normal rank
@@ Property / cites work @@
+A STIT-Extension of ATL
@@ Property / cites work: A STIT-Extension of ATL / rank @@
+Normal rank
@@ Property / cites work @@
+Q3400789
@@ Property / cites work: Q3400789 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of ability
@@ Property / cites work: On the logic of ability / rank @@
+Normal rank
@@ Property / cites work @@
+Action and ability
@@ Property / cites work: Action and ability / rank @@
+Normal rank
@@ Property / cites work @@
+Normal bimodal logics of ability and action
@@ Property / cites work: Normal bimodal logics of ability and action / rank @@
+Normal rank
@@ Property / cites work @@
+Acting, Events and Actions
@@ Property / cites work: Acting, Events and Actions / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of stit theory with a single agent and Refref equivalence
+Normal rank
@@ Property / cites work @@
+Time and modality in the logic of agency
@@ Property / cites work: Time and modality in the logic of agency / rank @@
+Normal rank
@@ Property / cites work @@
+Attributing Distributed Responsibility in Stit Logic
+Normal rank
@@ Property / cites work @@
+Q3669373
@@ Property / cites work: Q3669373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Q3086943
@@ Property / cites work: Q3086943 / rank @@
+Normal rank
@@ Property / cites work @@
+Agency and obligation
@@ Property / cites work: Agency and obligation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5422030
@@ Property / cites work: Q5422030 / rank @@
+Normal rank
@@ Property / cites work @@
+The deliberative stit: A study of action, omission, ability, and obligation
+Normal rank
@@ Property / cites work @@
+To the memory of Arthur Prior Formal properties of ‘now’
+Normal rank
@@ Property / cites work @@
+Moral conflicts between groups of agents
@@ Property / cites work: Moral conflicts between groups of agents / rank @@
+Normal rank
@@ Property / cites work @@
+Obligations in a Responsible World
@@ Property / cites work: Obligations in a Responsible World / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483008
@@ Property / cites work: Q5483008 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483010
@@ Property / cites work: Q5483010 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of knowledge based obligation
@@ Property / cites work: The logic of knowledge based obligation / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Coalitional Power in Games
@@ Property / cites work: A Modal Logic for Coalitional Power in Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4403141
@@ Property / cites work: Q4403141 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results of STIT fragments
@@ Property / cites work: Complexity results of STIT fragments / rank @@
+Normal rank
@@ Property / cites work @@
+Getting started: Beginnings in the logic of action
+Normal rank
@@ Property / cites work @@
+Q4430409
@@ Property / cites work: Q4430409 / rank @@
+Normal rank
@@ Property / cites work @@
+Deontic logic for strategic games
@@ Property / cites work: Deontic logic for strategic games / rank @@
+Normal rank
@@ Property / cites work @@
+Indeterminist time and truth‐value gaps<sup>1</sup>
+Normal rank
@@ Property / cites work @@
+Q4342095
@@ Property / cites work: Q4342095 / rank @@
+Normal rank
@@ Property / cites work @@
+Krister Segerberg on logic of actions
@@ Property / cites work: Krister Segerberg on logic of actions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5417809
@@ Property / cites work: Q5417809 / rank @@
+Normal rank
@@ Property / cites work @@
+Nested deontic modalities: Another view of parking on highways
+Normal rank
@@ Property / cites work @@
+A reduction of doxastic logic to action logic
@@ Property / cites work: A reduction of doxastic logic to action logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532134
@@ Property / cites work: Q4532134 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509070
@@ Property / cites work: Q3509070 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional \(\text Q\)-logic
@@ Property / cites work: Propositional \(\text Q\)-logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518432
@@ Property / cites work: Q4518432 / rank @@
+Normal rank
@@ Property / cites work @@
+On the basic logic of<i>STIT</i>with a single agent
+Normal rank
@@ Property / cites work @@
+Combinations of stit and actions
@@ Property / cites work: Combinations of stit and actions / rank @@
+Normal rank
@@ Property / cites work @@
+Actions as events
@@ Property / cites work: Actions as events / rank @@
+Normal rank
@@ Property / cites work @@
+Q5417811
@@ Property / cites work: Q5417811 / rank @@
+Normal rank