Pages that link to "Item:Q1317986"
From MaRDI portal
The following pages link to On propositional quantifiers in provability logic (Q1317986):
Displaying 25 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
- The finite inseparability of the first-order theory of diagonalisable algebras (Q795036) (← links)
- Predicate provability logic with non-modalized quantifiers (Q1176101) (← links)
- On the homogeneity property for certain quantifier logics (Q1204106) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- Proving quantified literals in defeasible logic (Q1818760) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- On the ontology of branching quantifiers (Q2639049) (← links)
- Interrogative Dependencies and the Constructive Content of Inquisitive Proofs (Q2938134) (← links)
- Linear $ \mathrm{GLP}$-algebras and their elementary theories (Q2966735) (← links)
- Quantifiers in logic and proof-search using permissive-nominal terms and sets (Q3195622) (← links)
- Quasi-truth-functional systems of propositional logic (Q3293394) (← links)
- ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS (Q3483261) (← links)
- Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type (Q3520241) (← links)
- Strategies of the search for derivation of statements with restricted quantifiers (Q3675553) (← links)
- Undecidability in diagonalizable algebras (Q4338316) (← links)
- On the complexity of propositional quantification in intuitionistic logic (Q4358053) (← links)
- (Q4459084) (← links)
- Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases (Q4490140) (← links)
- (Q4944902) (← links)
- (Q5101338) (← links)
- AI 2003: Advances in Artificial Intelligence (Q5191595) (← links)
- (Q5354752) (← links)
- Foundations for entailment checking in quantitative separation logic (Q6166785) (← links)
