Counting Objects
From MaRDI portal
Publication:4835536
DOI10.1093/logcom/5.3.325zbMath0827.68105OpenAlexW4247534169MaRDI QIDQ4835536
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
Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Knowledge representation (68T30) Logic with extra quantifiers and operators (03C80)
Related Items
Complexity of modal logics with Presburger constraints ⋮ The logic of Peirce algebras ⋮ Typology of axioms for a weighted modal logic ⋮ COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND ⋮ A new combination procedure for the word problem that generalizes fusion decidability results in modal logics ⋮ DYNAMIC GRADED EPISTEMIC LOGIC ⋮ Linear-time temporal logics with Presburger constraints: an overview ★ ⋮ Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere