extension first order logic system extension system k important discussions within philosophical logic concern question system modal logic correct ref name garson ref name benthem ref name burgess usually advantageous strongest system possible order able draw many different inferences brings problem additional inferences may contradict basic modal intuitions specific cases usually motivates choice basic system axioms ref name garson ref name benthem ref name burgess possible worlds semantics influential formal semantics modal logic
Humanities Philosophy Logic Philosophical logic