The situation in logic-IVby Barwise, Jon.Theory of KnowledgeModel theoryWriting a summary for young readers…For young readersBook data: Open Library