Basic Propositional Calculus II. Interpolation

A propositional logic with explicit fixed points

Albert Visser · Studia Logica · 1981 · 124 citations

Computing, Computer Science, Mathematics +12

Basic Propositional Calculus I

Mohammad Ardeshir, Wim Ruitenburg · Mathematical logic quarterly · 1998 · 74 citations

Humanities, Computer Science, Mathematics +11

Weak Logics with Strict Implication

Giovanna Corsi · Mathematical logic quarterly · 1987 · 53 citations

Humanities, Mathematics, Logic +8

Speaking about Transitive Frames in Propositional Languages

Yasuhito Suzuki, Frank Wolter, Michael Zakharyaschev · Journal of Logic Language and Information · 1998 · 36 citations

Language Studies, Linguistics, Philosophy Of Language +11

Aspects of basic logic

Mohammad Ardeshir Behrostaghi · e-publications - Marquette (Marquette University) · 1995 · 26 citations

Humanities, Computer Science, Mathematics +10