On Binary Computation Structures

DOI10.1002/MALQ.19970430205MaRDI QIDQ4336700zbMATH OpenOpenAlexFDO

Authors Bernhard Heinemann

Publication date 26 October 1997

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19970430205

zbMATH Keywords

semanticscompletenessdecidabilityaxiomatizationbimodal logicreasoning about knowledgebinary computation treesnexttimepropositional modal logic of timeweakly expressive fragment

Mathematics Subject Classification ID

Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1215464
• Temporal aspects of the modal logic of subset spaces
• Decidable and undecidable logics with a binary modality

Cited in

(1)

• scientific article; zbMATH DE number 647706 (Why is no real title available?)

This page was built for publication: On Binary Computation Structures

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