Counting Objects

DOI10.1093/LOGCOM/5.3.325zbMATH Open0827.68105OpenAlexW4247534169MaRDI QIDQ4835536FDOQ4835536

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

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

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)

Cited In (10)

• DYNAMIC GRADED EPISTEMIC LOGIC
• Title not available (Why is that?)
• 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
• COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND

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)