Concepedia

Albert Visser

AV

36

Publications

1.3K

Citations

24

H-Index

1981

Active since

Affiliations

Utrecht University(Current)

University of Amsterdam

University of Oxford

Albert Visser is an author at Utrecht University specializing in automated reasoning, engineering, and formal methods.

ORCID

Top concepts

Publications per year

1981–2025

36

Publications

36

A propositional logic with explicit fixed points

Albert Visser · Studia Logica · 1981 · 124 citations

, , +3

Four valued semantics and the Liar

Albert Visser · Journal of Philosophical Logic · 1984 · 121 citations

, , +6

An Overview of Interpretability Logic.

Albert Visser · Data Archiving and Networked Services (DANS) · 1996 · 84 citations · Full text

The formalization of Interpretability

Albert Visser · Studia Logica · 1991 · 60 citations

, , +7

WHEN BI-INTERPRETABILITY IMPLIES SYNONYMY

Harvey Friedman, Albert Visser · The Review of Symbolic Logic · 2025 · 58 citations · Full text

Rows per page

1–5 of 36