The following pages link to Counting Objects (Q4835536):
Displaying 6 items.
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Typology of axioms for a weighted modal logic (Q1678446) (← links)
- The logic of Peirce algebras (Q1909608) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND (Q6131221) (← links)
