scientific article

From MaRDI portal

Publication:3607556

Jump to:navigation, search

zbMath1163.03309MaRDI QIDQ3607556

R. Alonderis

Publication date: 2 March 2009

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

sequent calculus modal operators protocol verification admissibility of structural rules logic of likelihood

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3607556&oldid=17031133"