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,999 papers
Higher-order logic
2,543 papers
Intuitionistic logic
2,390 papers
Predicate logic
1,773 papers
Many-valued logic
1,187 papers
Proof calculus
1,048 papers
Computational logic
811 papers
Trends