scientific article; zbMATH DE number 1536560
From MaRDI portal
Publication:4518428
zbMath0949.03514MaRDI QIDQ4518428
Alberto Zanardo, Maria Concetta Di Maio
Publication date: 28 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (9)
T \(\times\) W completeness ⋮ A decidable temporal logic of parallelism ⋮ On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators ⋮ Agency and fictional truth: a formal study on fiction-making ⋮ Indistinguishability, choices, and logics of agency ⋮ The actual future is open ⋮ A Gabbay-rule free axiomatization of \(T\times W\) validity ⋮ Combinations of tense and modality for predicate logic ⋮ Propositional \(\text Q\)-logic
This page was built for publication:
