Metatheory of actions: beyond consistency (Q1028966): Difference between revisions

@@ Property / describes a project that uses @@
+CCalc
@@ Property / describes a project that uses: CCalc / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2122299898
@@ Property / OpenAlex ID: W2122299898 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing action and change in modal logic I: the frame problem
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing action and change by logic programs
@@ Property / cites work: Representing action and change by logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Representing action: indeterminacy and ramifications
+Normal rank
@@ Property / cites work @@
+A Modularity Approach for a Fragment of $\mathcal{ALC}$
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of independently axiomatizable bimodal logics
+Normal rank
@@ Property / cites work @@
+Simulation and transfer results in modal logic -- a survey
+Normal rank
@@ Property / cites work @@
+Q4325547
@@ Property / cites work: Q4325547 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about action. II: The qualification problem
+Normal rank
@@ Property / cites work @@
+Regression in Modal Logic
@@ Property / cites work: Regression in Modal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4511320
@@ Property / cites work: Q4511320 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2752124
@@ Property / cites work: Q2752124 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear resolution for consequence finding
@@ Property / cites work: Linear resolution for consequence finding / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483003
@@ Property / cites work: Q5483003 / rank @@
+Normal rank
@@ Property / cites work @@
+Ramification and causality
@@ Property / cites work: Ramification and causality / rank @@
+Normal rank
@@ Property / cites work @@
+Some contributions to the metatheory of the situation calculus
+Normal rank
@@ Property / cites work @@
+State Constraints Revisited
@@ Property / cites work: State Constraints Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
+Normal rank
@@ Property / cites work @@
+Q3790599
@@ Property / cites work: Q3790599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4398799
@@ Property / cites work: Q4398799 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708198
@@ Property / cites work: Q4708198 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536337
@@ Property / cites work: Q4536337 / rank @@
+Normal rank
@@ Property / cites work @@
+Updating action domain descriptions
@@ Property / cites work: Updating action domain descriptions / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity and relevant logic
@@ Property / cites work: Modularity and relevant logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4327735
@@ Property / cites work: Q4327735 / rank @@
+Normal rank