On fibring semantics for BDI logics

DOI10.1007/3-540-45757-7_17MaRDI QIDQ4708918zbMATH OpenFDO

Authors Guido Governatori, Vineet Padmanabhan, Abdul Sattar

Publication date 20 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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
• On fibring feature logics with concatenation logics
• scientific article; zbMATH DE number 868086 (Why is no real title available?)

This page was built for publication: On fibring semantics for BDI logics

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