Automata--theoretic techniques for modal logic of programs

Feb-1-1986–Classics

J. Computer and System Sciences 32(1986), pp. 183--221

artificial intelligence, logic & formal reasoning, modal logic, (4 more...)

Feb-1-1986

Classics Web Page

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (1.00)