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,990 papers
Higher-order logic
2,539 papers
Intuitionistic logic
2,384 papers
Predicate logic
1,772 papers
Many-valued logic
1,187 papers
Proof calculus
1,045 papers
Computational logic
811 papers
Trends