Albert Visser
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 73 |
| Date of birth | December 19,1950 |
| Zodiac sign | Sagittarius |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1430572 |
An Overview of Interpretability Logic
Categories of Theories and Interpretations
Faith & Falsity: A Study of Aithful Interpretations and False Sentences
The Predicative Frege Hierarchy
The Interpretability Logic of All Reasonable Arithmetical Theories: The New Conjecture
The Donkey and the Monoid: Dynamic Semantics with Control Elements
Dynamic Bracketing and Discourse Representation
No Escape from Vardanyan's Theorem
Contexts in Dynamic Predicate Logic
Dynamics
Propositional Logics of Closed and Open Substitutions Over Heyting's Arithmetic
Bisimulations, Model Descriptions and Propositional Quantifiers
Prolegomena to the Categorical Study of Interpretations
Relational Validity & Dynamic Predicate Logic
On the Limit Existence Principles in Elementary Arithmetic and Related Topics
Embeddings of Heyting Algebras
Propositional Combinations of Sigma-sentences in Heyting's Ari Thmetic: Explorations Between Intuitionistic Propositional Logic and Intuitionistic Arthmetic
On the Design of a Correct Freeness Analysis for Logic Programs
Interpretations Over Heyting's Arithmetic
Prolegomena to the Definition of Dynamic Predicate Logic with Logical Assignments
Categories of Theories and Interpretations
Faith & Falsity: A Study of Aithful Interpretations and False Sentences
The Predicative Frege Hierarchy
The Interpretability Logic of All Reasonable Arithmetical Theories: The New Conjecture
The Donkey and the Monoid: Dynamic Semantics with Control Elements
Dynamic Bracketing and Discourse Representation
No Escape from Vardanyan's Theorem
Contexts in Dynamic Predicate Logic
Dynamics
Propositional Logics of Closed and Open Substitutions Over Heyting's Arithmetic
Bisimulations, Model Descriptions and Propositional Quantifiers
Prolegomena to the Categorical Study of Interpretations
Relational Validity & Dynamic Predicate Logic
On the Limit Existence Principles in Elementary Arithmetic and Related Topics
Embeddings of Heyting Algebras
Propositional Combinations of Sigma-sentences in Heyting's Ari Thmetic: Explorations Between Intuitionistic Propositional Logic and Intuitionistic Arthmetic
On the Design of a Correct Freeness Analysis for Logic Programs
Interpretations Over Heyting's Arithmetic
Prolegomena to the Definition of Dynamic Predicate Logic with Logical Assignments