Pages that link to "Item:Q4008745"
From MaRDI portal
The following pages link to On an interpretation of second order quantification in first order intuitionistic propositional logic (Q4008745):
Displaying 50 items.
- A decidability result for the model checking of infinite-state systems (Q438572) (← links)
- Extendible formulas in two variables in intuitionistic logic (Q454378) (← links)
- The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) (← links)
- Bisimulation quantifiers and uniform interpolation for guarded first order logic (Q481100) (← links)
- An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus (Q557788) (← links)
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
- The many faces of interpolation (Q1024113) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi (Q1208732) (← links)
- Second order propositional operators over Cantor space (Q1317903) (← links)
- Interpolation property for bicartesian closed categories (Q1337501) (← links)
- An algebraic theory of normal forms (Q1346245) (← links)
- Model completions and r-Heyting categories (Q1372155) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic (Q1577480) (← links)
- Uniform interpolation and sequent calculi in modal logic (Q1712936) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- An open mapping theorem for finitely copresented Esakia spaces (Q1744600) (← links)
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
- Undefinability of propositional quantifiers in the modal system S4 (Q1902553) (← links)
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- Combination of uniform interpolants via Beth definability (Q2090132) (← links)
- Combined covers and Beth definability (Q2096445) (← links)
- The G4i analogue of a G3i sequent calculus (Q2106879) (← links)
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087) (← links)
- Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
- Uniform interpolation via nested sequents (Q2148805) (← links)
- Questions and dependency in intuitionistic logic (Q2176408) (← links)
- Proof theory for positive logic with weak negation (Q2193970) (← links)
- Model completeness, covers and superposition (Q2305411) (← links)
- Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
- Uniform interpolation and compact congruences (Q2363208) (← links)
- Investigations on the dual calculus (Q2503329) (← links)
- Computing interpolants in implicational logics (Q2503400) (← links)
- Interpolation properties for provability logics GL and GLP (Q2510774) (← links)
- Admissibility of structural rules for contraction-free systems of intuitionistic logic (Q2710593) (← links)
- Fixed-Point Elimination in the Intuitionistic Propositional Calculus (Q2811336) (← links)
- ON FLATTENING ELIMINATION RULES (Q2940866) (← links)
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (Q2940884) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- Duality and Universal Models for the Meet-Implication Fragment of IPC (Q3455183) (← links)
- Positive Formulas in Intuitionistic and Minimal Logic (Q3455187) (← links)
- The Logical Difference Problem for Description Logic Terminologies (Q3541706) (← links)
- Formal Properties of Modularisation (Q3631354) (← links)
- Mathematical Logic for Life Science Ontologies (Q3638273) (← links)
- Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras (Q3647249) (← links)
