Concepedia
Theorem Proving with Analytic Tableaux and Related Methods · 1998 · 37 citations · 16 references
HumanitiesComputer ScienceFormal MethodsLogicSemanticsDeontic LogicModal LogicModal SemanticsPredicate LogicPropositional LogicTemporal LogicBimodal LogicDecidabilityDecidability ProblemsMulti-modal LogicTableau Algorithms
16
Introduction to automata theory, languages and computation
Mathematics and Computers in Simulation · 1981 · 10.9K citations
Computing, Computer Science, Mathematics +10
Propositional dynamic logic of regular programs
Michael J. Fischer, Richard E. Ladner · Journal of Computer and System Sciences · 1979 · 1.2K citations
Computing, Computer Science, Formal Methods +12
A guide to completeness and complexity for modal logics of knowledge and belief
Joseph Y. Halpern, Yoram Moses · Artificial Intelligence · 1992 · 845 citations
Humanities, Computer Science, Mathematics +12
Semantics-Based Translation Methods for Modal Logics
H. J. OHLBACH · Journal of Logic and Computation · 1991 · 130 citations · Full text
Humanities, Computer Science, Knowledge Representation +16
Propositional dynamic logic of nonregular programs
David Harel, Amir Pnueli, Jonathan Stavi · Journal of Computer and System Sciences · 1983 · 98 citations
Computing, Computer Science, Mathematics +12