information about Dynamic logic (modal logic) field

Dynamic logic (modal logic)

http://en.wikipedia.org/wiki/Dynamic_logic_(modal_logic)
Field Hierarchy
Parent
Current
Dynamic logic (modal logic)
1 papers
Child
Intermediate logic
4,960 papers
Higher-order logic
2,524 papers
Intuitionistic logic
2,365 papers
Predicate logic
1,765 papers
Many-valued logic
1,178 papers
Proof calculus
1,038 papers
Computational logic
804 papers
Trends