Characterising combinational timing analyses in intuitionistic modal logic

DOI10.1093/jigpal/8.6.821zbMath0963.03052OpenAlexW2039983592MaRDI QIDQ4521287

Michael Mendler

Publication date: 21 June 2001

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/e233def2cb2a00b0ca9b89eb43975bb8d8d8b11d

zbMATH Keywords

modal logicintuitionistic logicBoolean functioncombinational input-output systemscombinational systemshardware timing analysislogical specification languagepropositional stabilisation theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (2)

Constructive Boolean circuits and the exactness of timed ternary simulation ⋮ Connectionist computations of intuitionistic reasoning

This page was built for publication: Characterising combinational timing analyses in intuitionistic modal logic