Back to Results
First PageMeta Content
Model theory / Interpretation / Substitution / Compactness theorem / Linear temporal logic / Differential forms on a Riemann surface


LNAIStrongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures
Add to Reading List

Document Date: 2006-10-10 15:15:42


Open Document

File Size: 617,65 KB

Share Result on Facebook