scientific article; zbMATH DE number 6863876
From MaRDI portal
Publication:4636309
zbMath1385.03026MaRDI QIDQ4636309
Renate A. Schmidt, David E. Rydeheard, John G. Stell
Publication date: 23 April 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Related Items (3)
A bi-intuitionistic modal logic: foundations and automation ⋮ Blocking and other enhancements for bottom-up model generation methods ⋮ Symmetric Heyting relation algebras with applications to hypergraphs
This page was built for publication:
