scientific article; zbMATH DE number 1086639

MaRDI QIDQ4362889zbMATH OpenFDO

Authors Patrick Blackburn, Maarten de Rijke, Yde Venema

Publication date 14 December 1997

zbMATH Keywords

bisimulationdynamic modes of inferencedynamicsfragments of relation algebralogics of transitionsrelativisation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Other applications of logic (03B80) Cylindric and polyadic algebras; relation algebras (03G15)

Cited in

(5)

• Usefulness of information and unary languages
• Logical pluralism and semantic information
• scientific article; zbMATH DE number 5542889 (Why is no real title available?)
• scientific article; zbMATH DE number 49692 (Why is no real title available?)
• scientific article; zbMATH DE number 1406015 (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 Q4362889)