scientific article; zbMATH DE number 2024627

zbMATH Open1037.03013MaRDI QIDQ4443203

Andrzej Indrzejczak

Publication date: 2002

Title of this publication is not available (Why is that?)

zbMATH Keywords

temporal logicmodal logic S4.3weak connectednessnonbranchinglabelled tableau

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

Related Items (1)

Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4443203)