Maarten Marx has written:

'Multi-dimensional modal logic' -- subject(s): Modality (Logic)

Robert Feys has written:

'Logistiek, geformaliseerde logica' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic

'Modal logics' -- subject(s): Logic, Symbolic and mathematical, Modality (Logic), Symbolic and mathematical Logic

Examples of formal logic include propositional logic, predicate logic, modal logic, and temporal logic. These systems use symbols and rules to represent and manipulate logical relationships between statements. Formal logic is used in mathematics, computer science, philosophy, and other fields to reason rigorously and draw valid conclusions.

less dynamic power

Dov M. Gabbay has written:

'Investigations in modal and tense logics with applications to problems in philosophy and linguistics' -- subject(s): Comparative and general Grammar, Modality (Logic), Semantics (Philosophy)

'Handbook of Defeasible Reasoning and Uncertainty Management'

'Labelled deductive systems' -- subject(s): Logic

'Fibring logics' -- subject(s): Symbolic and mathematical Logic

'Temporal logic' -- subject(s): Computer programming, Symbolic and mathematical Logic

'Interpolation and definability' -- subject(s): Definability theory (Mathematical logic), Interpolation, Modality (Logic)