Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Model theory is the branch of mathematical logic which deals with the connection between a formal language and its interpretations, or models.
3
votes
2
answers
301
views
Validity in Kripke frames whose points are finite or infinite sequences
Suppose $D$ is a non-empty set and $\{ R_i : i \in \mathbb{N} \}$ is a family of binary relations on sequences over $D$ so that $R_i \subseteq D^i \times D^i$. Let $R_\omega \subseteq D^\omega \times …
1
vote
0
answers
59
views
Descriptive general frames without differentiation?
Descriptive general frames are usually defined as general frames that are tight, compact, and differentiated. On p.91 of this paper by Skvortsov and Shehtman 1993, the authors omit the third condition …