What is the general prefix for a logic that includes logics like deontic, epistemic and doxastic logic?

What was the name of the Logician that had defined the specific kind of symbolic logic choosen?

What is the term for a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to a traditional ´human´ way of reasoning?

The form of logic that makes conclusions from observations of trends and patterns is known as:DeductiveNon-logicInductiveEstimation

he computational model for Logic Programs is based on a ´specific kind of Logical Inference. Which? Recursion Subsumption Resolution Unification

Define the term: Logic error