Semantic interpolation (Q2901200): Difference between revisions

@@ Property / DOI @@
-.3166/jancl.20.345-371
@@ Property / DOI: 10.3166/jancl.20.345-371 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W4213302835
@@ Property / OpenAlex ID: W4213302835 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4082
@@ Property / arXiv ID: 0906.4082 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.3166/JANCL.20.345-371
@@ Property / DOI: 10.3166/JANCL.20.345-371 / rank @@
+Normal rank