Modal logic with names

This publication has 17 references indexed in Scilit:

• A Note on Boolean Modal Logic
  Published by Springer Nature ,1990
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
  Journal of Logic and Computation, 1990
• Determinism and looping in combinatory PDL
  Theoretical Computer Science, 1988
• Modal Environment for Boolean Speculations
  Published by Springer Nature ,1987
• Correspondence Theory
  Published by Springer Nature ,1984
• Axioms for tense logic. I. ``Since'' and ``until''.
  Notre Dame Journal of Formal Logic, 1982
• An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames
  Published by Springer Nature ,1981
• Canonical modal logics and ultrafilter extensions
  The Journal of Symbolic Logic, 1979
• Some Connections Between Elementary and Modal Logic
  Published by Elsevier ,1975
• An approach to tense logic¹
  Theoria, 1970