◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

A. Kurz

33 papers hereh-index 272.1k citations131 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author12
  • middle author14
  • last author7

Across the 33 of 33 papers where every author was matched, so the position is known.

fields
  • cs.LO18
  • math.LO6
  • math.CT5
  • cs.FL3
  • cs.MA1
same name
  • A. Kurz — 5 papers, h 5
  • A. Kurz — 1 paper, h 1
  • A. Kurz — 1 paper, h 3

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20102026
most citedMulti-type Display Calculus for Dynamic Epistemic Logic

43 citations · 305 across the 30 of their papers we have counts for

collaborators
Showing 2014 · math.CTShow all

1 paper · 2 filters

math.CT2014★ 10 cited

Positive fragments of coalgebraic logics

Adriana Balan, Alexander Kurz, Jiří Velebil

Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization tha…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.