Decidable Fragments of First-Order Modal Logics (1999)

by Frank Wolter , Michael Zakharyaschev
Venue:JOURNAL OF SYMBOLIC LOGIC
Citations:28 - 8 self