Decidable Reasoning in a Logic of Limited Belief with Function Symbols

Open in new window