The following pages link to (Q4694215):
Displaying 18 items.
- Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383) (← links)
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics (Q688796) (← links)
- On the predicate logic of linear Kripke frames and some of its extensions (Q817691) (← links)
- Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics (Q1208117) (← links)
- On the predicate logics of finite Kripke frames (Q1344873) (← links)
- Constructing a continuum of predicate extensions of each intermediate propositional logic (Q1891930) (← links)
- (Q2767044) (← links)
- Neighborhood-sheaf semantics for first-order modal logic (Q2825413) (← links)
- (Q2933402) (← links)
- Semantics Out of Context (Q3177798) (← links)
- (Q3567766) (← links)
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC (Q3580665) (← links)
- (Q4264704) (← links)
- Incompleteness Results in Kripke Bundle Semantics (Q4366129) (← links)
- Predicate Modal Logics Do Not Mix Very Well (Q4379626) (← links)
- (Q4789454) (← links)
- Non-distributive logics: from semantics to meaning (Q5004948) (← links)
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 (Q6107287) (← links)