ILLC research report and technical notes series
| rdfs:label | "ILLC research report and technical notes series" |
| schema:name | "ILLC research report and technical notes series" |
| schema:author | Institute for Logic, Language and Computation (Amsterdam) |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1994-1997" |
| schema:about |
<http:/ |
|
<http:/ |
|
|
schema:in |
"en" |
| schema:issn | "13846507" |
| schema:publication |
<https:/ |
Inverse relations
[ .. ] → schema:isPartOf → ILLC research report and technical notes series
A set-theoretic translation method for polymodal logics / Giovanna D'Agostino, Angelo Montanari, Alberto Policritischema:ProductModel
Algebraic methods and bounded formulas / Domenico Zambellaschema:ProductModel
An elementary construction of an ultrafilter on N1 using the axiom of determinateness / Marco R. Vervoortschema:ProductModel
Back and forth between modal logic and classical logic / Hajnal Andréka, Johan van Benthem, István Németischema:ProductModel
Complexity of modal logics of relations / Maarten Marxschema:ProductModel
Count(q) versus the pigeon-hole principle / Søren Riisschema:ProductModel
Decidability and finite model property of substructural logics / Hiroakira Onoschema:ProductModel
Embeddings of Heyting algebras / Dick de Jongh, Albert Visserschema:ProductModel
End extensions of models of linearly bounded arithmetic / Domenico Zambellaschema:ProductModel
Fine hierarchy and definability in the Lindenbaum algebra / Victor Selivanovschema:ProductModel
Finitely generated Magari algebras and arithmetic / Lex Hendriks, Dick de Jonghschema:ProductModel
Forcing in finite structures / Domenico Zambellaschema:ProductModel
Free algebras corresponding to multiplicative classical linear logic and some extensions / Andreja Prijateljschema:ProductModel
Generalized quantification as substructural logic / Natasha Alechina, Michiel van Lambalgenschema:ProductModel
Independence structures in set theory / Michiel van Lambalgenschema:ProductModel
Interpolation, preservation, and pebble games / Jon Barwise and Johan van Benthemschema:ProductModel
Intuitionistic propositional logic with only equivalence has no interpolation / Lex Hendriksschema:ProductModel
IST is more than an algorithm to prove ZFC theorems / V. Kanoveischema:ProductModel
Logic of proofs with complexity operators / Sergei Artëmov, Artëm Chuprinaschema:ProductModel
Logic of proofs with the strong provability operator / Elena Noginaschema:ProductModel
... show all 38