scientific article; zbMATH DE number 1550339
From MaRDI portal
Publication:4523459
Cited in
(19)- From Hilbert's program to a logic tool box
- Second-order logic of paradox
- Skolem redux
- The challenge of many logics: a new approach to evaluating the role of ideology in Quinean commitment
- A universal algebraic set theory built on mereology with applications
- Logical constants: a modalist approach
- scientific article; zbMATH DE number 5885155 (Why is no real title available?)
- A critical appraisal of second-order logic
- Pedagogical Second-order Propositional Calculi
- scientific article; zbMATH DE number 3902022 (Why is no real title available?)
- Rudimentary Languages and Second‐Order Logic
- Plural quantifiers: a modal interpretation
- scientific article; zbMATH DE number 816222 (Why is no real title available?)
- Logicism and Second-Order Logic
- CAPTURING CONSEQUENCE
- Logic, logics, and logicism
- Substitutional validity for modal logic
- Power domains and second-order predicates
- Pure second-order logic with second-order identity
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4523459)