Semantic interpolation (Q2901200): Difference between revisions

@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Repairing the interpolation theorem in quantified modal logic
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Logical tools for handling change in agent-based systems
+Normal rank
@@ Property / cites work @@
+Roadmap for preferential logics
@@ Property / cites work: Roadmap for preferential logics / rank @@
+Normal rank
@@ Property / cites work @@
+SIZE AND LOGIC
@@ Property / cites work: SIZE AND LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel interpolation, splitting, and relevance in belief change
+Normal rank
@@ Property / cites work @@
+Distance semantics for belief revision
@@ Property / cites work: Distance semantics for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Some Results on Classical Preferential Models
@@ Property / cites work: Some Results on Classical Preferential Models / rank @@
+Normal rank