Relational extensions of Tarski and Thomason dualities are constructed to relate bisimulations between frames to relations between predicates in infinitary classical logics.
Title resolution pending
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.LO 3years
2026 3verdicts
UNVERDICTED 3roles
background 1polarities
background 1representative citing papers
A finitary refinement type system is sound and complete for Scott-open properties in a fixpoint-like logic over spectral Scott domains.
The paper develops semiring-annotated topological spaces (seats) extending epistemic logic to model resource costs for observing evidence, with sound and strongly complete axiomatizations for resource-indexed modalities.
citing papers explorer
-
Relational Dualities and Bisimulation
Relational extensions of Tarski and Thomason dualities are constructed to relate bisimulations between frames to relations between predicates in infinitary classical logics.
-
A Complete Finitary Refinement Type System for Scott-Open Properties
A finitary refinement type system is sound and complete for Scott-open properties in a fixpoint-like logic over spectral Scott domains.
-
Knowledge on a Budget
The paper develops semiring-annotated topological spaces (seats) extending epistemic logic to model resource costs for observing evidence, with sound and strongly complete axiomatizations for resource-indexed modalities.