A course in bimodal provability logic / Albert VisserKunnen wij elke machine verslaan : beschouwingen rondom Lucas' argument / Albert VisserPreliminary notes on interpretability logic / Albert VisserA descending hierarchy of reflection principles / Albert VisserInterpretability logic / A. VisserThe formalization of interpretability / Albert VisserOn the →S01⇋-conservativity of →S01⇋-completeness / Albert VisserAn inside view of EXP, or the closed fragment of the provability logic of I→DN⇋ 0 →O⇋ with a propositional constant for EXP / Albert VisserThe unprovability of small inconsistency / Albert VisserActions under presuppositions / Albert VisserLazy & quarrelsome brackets / A. VisserPropositional combinations of →S⇋-sentences in Heyting's arithmetic / A. VisserInterpretations over Heyting's arithmetic / A. VisserContext in dynamic predicate logic / A. VisserRelational validity & dynamic predicate logic / A. VisserBisimulations, model descriptions and propositinal quantifiers / A. VisserAn overview of interpretability logic / A. VisserProlegomena to the definition of dynamic predicate logic with local assignments / Albert VisserRules and arithmetics / A. VisserThe donkey and the monoid : dynamic semantics with control elements / A. VisserSubmodels of Kripke Models / A. VisserThe donkey and the monoid : dynamic semantics with control elements / Albert VisserHet tekst continuüm / A. VisserFaith & falsity : a study of faithful interpretations and false →S⇋01-sentences / A. VisserNo escape from Vardanyan's theorem / Albert VisserContext modification in action / Albert VisserOn the ambiguation of Polish notation / Albert VisserCategories of theories and interpretations / Albert VisserPropositional logics of closed and open substitutions of Heyting's arithmetic / Albert VisserThe predicative Frege hierarchy / Albert VisserProlegomena to the categorical study of interpretations / Albert VisserAspects of diagonalization & provability / door Albert VisserKunnen wij elke machine verslaan? : beschouwingen rondom Lucas' argument / Albert VisserEvaluation, provably deductive equivalence in Heyting's arithmetic of substitution instances of propositional formulas / Albert VisserPeano's smart children : a provability logical study of systems with built-in consistency / Albert Visser
author
Explicit fixed points for interpretability logic / Dick de Jongh, Albert VisserEmbedding of Heyting Algebras / D.H.J. de Jongh, A. VisserEmbeddings of Heyting algebras / Dick de Jongh, Albert VisserEmbeddings of Heyting algebras / D.H.J. de Jongh, A. VisserNetwork algebra for synchronous and asynchronous dataflow / J.A. Bergstra, Gh. Ştefănescu ; [ed. A. Visser]Process algebra semantics of →f⇋SDL / J.A. Bergstra, C.A. Middelburg ; [A. Visser, ed.]Dynamic bracketing and discourse representation / C.F.M. Vermeulen, A. VisserEmbeddings of Heyting algebras / Dick de Jongh, Albert VisserDynamics / Reinhard Muskens, Johan van Benthem, Albert VisserDynamics / Reinhard Muskens, Johan van Benthem, Albert VisserDynamic negation, the one and only / M. Hollenberg, A. VisserAlgebras for Boolean presuppositions / C.F.M. Vermeulen, E. Wolters, A. VisserFinality regained : a coalgebraic study of Scott-sets and multisets / Giovanna D'Agostino, Albert VisserThe interpretability logic of all reasonable arithmetical theories : the new conjecture / Joost J. Joosten, Albert VisserSome words on word / Maarten Janssen & Albert VisserOn the limit existence principles in elementary arithmetic and related topics / Lev D. Beklemishev & Albert VisserProblems in the logic of provability / Lev D. Beklemishev & Albert VisserInzien en bewijzen / Jan van Eijck en Albert Visser