( en | de | ru )

 

Disambiguation of "Makinson, David"

Author of the publication

copydeleteadd this publication to your clipboard
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.

, , and . J. Symb. Log., 50 (2): 510-530 (1985)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bodo David

Erich David

Ernst David

Baruch Davidoff

Frida David

 

Other publications of authors with the same name

Cumulative inference relations for JTMS and logic programming, , and . Lecture Notes in Computer Science - Nonmonotonic and Inductive Logic, (1991)Display Conventions for Octagons of Opposition.. Axioms, 13 (5): 287 (May 2024)Propositional Relevance through Letter-Sharing: Review and Contribution.. Formal Models of Belief Change in Rational Agents, volume 07351 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)What is Input/Output Logic? Input/Output Logic, Constraints, Permissions., and . Normative Multi-agent Systems, volume 07122 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)On the logic of theory change: Contraction functions and their associated revision functions, , and . Theoria, (1982)Permission from an Input/Output Perspective., and . J. Philos. Log., 32 (4): 391-416 (2003)Relations between the logic of theory change and nonmonotonic logic., and . The Logic of Theory Change, volume 465 of Lecture Notes in Computer Science, page 185-205. Springer, (1989)Revisions of Knowledge Systems Using Epistemic Entrenchment., and . TARK, page 83-95. Morgan Kaufmann, (1988)Input/Output Logics., and . J. Philos. Log., 29 (4): 383-408 (2000)There are Infinitely many Diodorean Modal Functions.. J. Symb. Log., 31 (3): 406-408 (1966)