Publication | Closed Access

Modal Languages and Bounded Fragments of Predicate Logic

SyntaxEngineeringAutomated ReasoningFormal MethodsFirst-order LogicLanguage StudiesSemanticsHigher-order LogicBounded FragmentsModal LogicLinguistics