pith. sign in

Annals of Pure and Applied Logic 167(8), pp

Melvin Fitting ( · 2016 · DOI 10.1016/j.apal.2016.03.005

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

1 Pith paper citing it
open at publisher browse 1 citing papers

fields

cs.LO 1

years

2026 1

verdicts

UNVERDICTED 1

clear filters

representative citing papers

Intuitionistic Justification Logic, Semantically

cs.LO · 2026-06-30 · unverdicted · novelty 7.0

Introduces basic modular and modular Kripke-style models for intuitionistic justification logic with satisfiers, establishing soundness, completeness, and a semantic realisation theorem.

citing papers explorer

Showing 1 of 1 citing paper after filters.

  • Intuitionistic Justification Logic, Semantically cs.LO · 2026-06-30 · unverdicted · none · ref 20

    Introduces basic modular and modular Kripke-style models for intuitionistic justification logic with satisfiers, establishing soundness, completeness, and a semantic realisation theorem.