scientific article; zbMATH DE number 1931660

MaRDI QIDQ4708918zbMATH OpenFDO

Authors Guido Governatori, Vineet Padmanabhan, Abdul Sattar

Publication date 20 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2424/24240198.htm

Mathematics Subject Classification ID

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

Recommendations

• Fibring Logics with Topos Semantics
• On Graph-theoretic Fibring of Logics
• scientific article; zbMATH DE number 1140670
• Bialgebraic semantics for logic programming
• Birkhoff style calculi for hybrid logics
• scientific article; zbMATH DE number 7204444
• Logics for bisimulation and divergence
• scientific article; zbMATH DE number 5070356

Cited in

(3)

• On Graph-theoretic Fibring of Logics
• scientific article; zbMATH DE number 1341541 (Why is no real title available?)
• scientific article; zbMATH DE number 868086 (Why is no real title available?)

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 Q4708918)