arXiv Open Access 2016

First-Order Modal Logic: Frame Definability and Lindström Theorems

Reihane Zoghifard Massoud Pourmahdian

Lihat Sumber

Abstrak

This paper involves generalizing the Goldblatt-Thomason and the Lindström characterization theorems to first-order modal logic.

math.LO

Reihane Zoghifard

Massoud Pourmahdian

APA MLA BibTeX

Zoghifard, R., Pourmahdian, M. (2016). First-Order Modal Logic: Frame Definability and Lindström Theorems. https://arxiv.org/abs/1602.00201

Lihat di Sumber

Informasi Jurnal