A logical theory defines and describes things. Details must be explained to brainless robots. Once you define things you can ask questions. Interestingly, the discipline of describing something in a form a computer algorithm can understand assists you in understanding the world better, weeding out myths and misconceptions.
Several years ago Rene van Egmond and I wrote a logical theory which describes a financial report, Financial Report Semantics and Dynamics Theory.
We used that base, removed everything related to the domain of financial reporting (which is a specialization of a business report), and now we have a Logical Theory Describing a Business Report (the more general use case).
There really are very few differences. One difference is that a financial report has "disclosures". The equivalent in a business report is a "fact set".
A logical theory is an excellent communications tool. In order to get a software engineer or a team of software engineers to be able to work together and build the right software, a logical theory is very helpful.
If anyone has any feedback, please send it. Always looking for ways to improve!