✦ LIBER ✦

Modal Logic over Finite Structures

✍ Scribed by Eric Rosen

Book ID: 110261157
Publisher: Springer Netherlands
Year: 1997
Tongue: English
Weight: 136 KB
Volume: 6
Category: Article
ISSN: 0925-8531
DOI: 10.1023/a:1008275906015

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Finite-level modal logics

✍ L. L. Maksimov 📂 Article 📅 1975 🏛 Springer US 🌐 English ⚖ 665 KB

On the Finite Model Property of Intuitio

On the Finite Model Property of Intuitionistic Modal Logics over MIPC

✍ Takahito Aoto; Hiroyuki Shirasu 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 816 KB

A finite model construction for coalgebr

A finite model construction for coalgebraic modal logic

✍ Lutz Schröder 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 235 KB

Modal logics of some geometrical structu

Modal logics of some geometrical structures

✍ I. B. Shapirovsky 📂 Article 📅 2007 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 386 KB

Inductive definitions over finite struct

Inductive definitions over finite structures

✍ Daniel Leivant 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 732 KB

Arithmetical definability over finite st

Arithmetical definability over finite structures

✍ Troy Lee 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 134 KB

## Abstract Arithmetical definability has been extensively studied over the natural numbers. In this paper, we take up the study of arithmetical definability over finite structures, motivated by the correspondence between uniform AC^0^ and FO(PLUS, TIMES). We prove finite analogs of three classic r