The following pages link to (Q3669380):
Displaying 21 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383) (← links)
- Omitting types in an intermediate logic (Q539154) (← links)
- Presheaf semantics and independence results for some non-classical first- order logics (Q582278) (← links)
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics (Q688796) (← links)
- Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics (Q757342) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- On the predicate logic of linear Kripke frames and some of its extensions (Q817691) (← links)
- Equilibrium logic (Q854969) (← links)
- Ordered sets R and Q as bases of Kripke models (Q1109762) (← links)
- On finite linear intermediate predicate logics (Q1119624) (← links)
- Quantified extensions of canonical propositional intermediate logics (Q1207339) (← links)
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas (Q1208113) (← links)
- Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics (Q1208117) (← links)
- Computable Kripke models and intermediate logics (Q1271561) (← links)
- On the predicate logics of finite Kripke frames (Q1344873) (← links)
- Intuitionistic axiomatizations for bounded extension Kripke models. (Q1412839) (← links)
- A new semantics for intuitionistic predicate logic (Q1820768) (← links)
- Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach (Q1821770) (← links)
- First-order interpolation derived from propositional interpolation (Q2193292) (← links)
- Subtractive logic (Q5940919) (← links)
