Article,

Universal First-Order Definability in Modal Logic.

, , and .
Math. Log. Q., 26 (19-21): 327-330 (1980)

Meta data

Tags

Users

  • @dblp

Comments and Reviews