The following pages link to Logic and semantics for imperatives (Q484146):
Displaying 6 items.
- New foundations for imperative logic. III: A general definition of argument validity (Q513983) (← links)
- A Lewisian taxonomy for deontic logic (Q1989995) (← links)
- The dynamics of argumentative discourse (Q2121483) (← links)
- Formalizing Kant's rules. A logic of conditional imperatives and permissives (Q2194110) (← links)
- Introducing a Calculus of Effects and Handlers for Natural Language Semantics (Q2835059) (← links)
- Triviality For Restrictor Conditionals (Q2965372) (← links)