On Binary Computation Structures

DOI10.1002/MALQ.19970430205zbMATH Open0873.03022OpenAlexW2019718815MaRDI QIDQ4336700FDOQ4336700

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

Recommendations

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

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)

Cites Work

• Title not available (Why is that?)

Cited In (1)

• Title not available (Why is that?)

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)