Intuitionistic linear temporal logics

[BBDFD19] Philippe Balbiani, Joseph Boudou, Mart ´ın Di´eguez, David Fern´andez-Duque · 2019 · DOI 10.1145/3365833

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

cs.LO · 2026-04-25 · unverdicted · novelty 7.0

Game semantics for constructive μ-calculus shown equivalent to Kripke semantics, supporting sound and complete non-wellfounded proofs.

Showing 1 of 1 citing paper.

The Constructive $\mu$-calculus: Game Semantics and Non-Wellfounded Proof Systems cs.LO · 2026-04-25 · unverdicted · none · ref 3
Game semantics for constructive μ-calculus shown equivalent to Kripke semantics, supporting sound and complete non-wellfounded proofs.