Logic and semantics for imperatives (Q484146): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10992-013-9284-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2133558889
@@ Property / OpenAlex ID: W2133558889 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of conditionals. An application of probability to deductive logic
+Normal rank
@@ Property / cites work @@
+Dynamic logic of preference upgrade
@@ Property / cites work: Dynamic logic of preference upgrade / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532203
@@ Property / cites work: Q4532203 / rank @@
+Normal rank
@@ Property / cites work @@
+<i>‘Ought’ and Resolution Semantics</i>*
@@ Property / cites work: <i>‘Ought’ and Resolution Semantics</i>* / rank @@
+Normal rank
@@ Property / cites work @@
+The spectre of triviality
@@ Property / cites work: The spectre of triviality / rank @@
+Normal rank
@@ Property / cites work @@
+What we know and what to do
@@ Property / cites work: What we know and what to do / rank @@
+Normal rank
@@ Property / cites work @@
+Imperatives1
@@ Property / cites work: Imperatives1 / rank @@
+Normal rank
@@ Property / cites work @@
+Imperatives: a judgemental analysis
@@ Property / cites work: Imperatives: a judgemental analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic predicate logic
@@ Property / cites work: Dynamic predicate logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q6121345
@@ Property / cites work: Q6121345 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5338319
@@ Property / cites work: Q5338319 / rank @@
+Normal rank
@@ Property / cites work @@
+General semantics
@@ Property / cites work: General semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768759
@@ Property / cites work: Q2768759 / rank @@
+Normal rank
@@ Property / cites work @@
+Validity and satisfaction in imperative logic
@@ Property / cites work: Validity and satisfaction in imperative logic / rank @@
+Normal rank
@@ Property / cites work @@
+Getting started: Beginnings in the logic of action
+Normal rank
@@ Property / cites work @@
+The logic of assertion
@@ Property / cites work: The logic of assertion / rank @@
+Normal rank
@@ Property / cites work @@
+The application of constraint semantics to the language of subjective uncertainty
+Normal rank
@@ Property / cites work @@
+Defaults in update semantics
@@ Property / cites work: Defaults in update semantics / rank @@
+Normal rank
@@ Property / cites work @@
+<i>New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers</i>*
+Normal rank
@@ Property / cites work @@
+In defense of imperative inference
@@ Property / cites work: In defense of imperative inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414313
@@ Property / cites work: Q4414313 / rank @@
+Normal rank
@@ Property / cites work @@
+A counterexample to modus tollens
@@ Property / cites work: A counterexample to modus tollens / rank @@
+Normal rank