Counting Objects

DOI10.1093/LOGCOM/5.3.325MaRDI QIDQ4835536zbMATH OpenOpenAlexFDO

Authors Wiebe van der Hoek, Maarten de Rijke

Publication date 6 June 1995

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/b19c109a37c290c6a846b6900628891ae3f50c68

zbMATH Keywords

knowledge representationaxiomatic completeness

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80)

Recommendations

• Modal Logics with Counting
• scientific article; zbMATH DE number 4006240
• Complexity Results for First-Order Two-Variable Logic with Counting
• On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics
• Generalized quantifiers and modal logic

Cited in

(10)

• COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND
• DYNAMIC GRADED EPISTEMIC LOGIC
• scientific article; zbMATH DE number 1919533 (Why is no real title available?)
• The logic of Peirce algebras
• Complexity of modal logics with Presburger constraints
• There are not exactly five objects
• Linear-time temporal logics with Presburger constraints: an overview
• Typology of axioms for a weighted modal logic
• A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
• Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere

This page was built for publication: Counting Objects

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