Concepedia
Studia Logica · 1994 · 120 citations · 2 references
HumanitiesComputer ScienceMathematicsFormal MethodsLogicFirst-order LogicGrammarTemporal LogicTense Semantics
2
A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential Method
Masahiko Sato · Publications of the Research Institute for Mathematical Sciences · 1977 · 67 citations · Full text
Humanities, Computer Science, Mathematics +12
CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
R. A. Bull · Mathematical logic quarterly · 1992 · 38 citations
Computing, Computer Science, Mathematics +10