Open AccessArbitrary Announcements in Propositional Belief Revision
Author(s) -
Aaron Hunter,
François Schwarzentruber
Publication year - 2015
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - decidability , undecidable problem , context (archaeology) , propositional calculus , belief revision , computer science , modal , simple (philosophy) , modal logic , propositional variable , mathematical economics , mathematics , artificial intelligence , theoretical computer science , epistemology , description logic , philosophy , intermediate logic , programming language , paleontology , chemistry , polymer chemistry , biology