pith. sign in

Title resolution pending

Bjarni Jónsson & Alfred Tarski ( · 1951 · DOI 10.2307/2372123

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it
open at publisher browse 2 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

cs.LO 1 math.LO 1

years

2026 2

verdicts

UNVERDICTED 2

clear filters

representative citing papers

Relational Dualities and Bisimulation

cs.LO · 2026-05-07 · unverdicted · novelty 7.0

Relational extensions of Tarski and Thomason dualities are constructed to relate bisimulations between frames to relations between predicates in infinitary classical logics.

On Interpretations of Normal Modal Logics

math.LO · 2026-06-30 · unverdicted · novelty 6.0

Complete classification of additive and normal formulas in modal logics K, GL, Grz, S4, and S5 for diamond interpretations, with parameter versions for K, GL, and S5.

citing papers explorer

Showing 2 of 2 citing papers after filters.

  • Relational Dualities and Bisimulation cs.LO · 2026-05-07 · unverdicted · none · ref 5

    Relational extensions of Tarski and Thomason dualities are constructed to relate bisimulations between frames to relations between predicates in infinitary classical logics.

  • On Interpretations of Normal Modal Logics math.LO · 2026-06-30 · unverdicted · none · ref 15

    Complete classification of additive and normal formulas in modal logics K, GL, Grz, S4, and S5 for diamond interpretations, with parameter versions for K, GL, and S5.