The following pages link to Valentin Shehtman (Q472807):
Displaying 50 items.
- Products of modal logics and tensor products of modal algebras (Q472808) (← links)
- (Q688794) (redirect page) (← links)
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics (Q688796) (← links)
- Quantification in nonclassical logic. Volume I. (Q731484) (← links)
- Modal logics of domains on the real plane (Q794634) (← links)
- (Q1176100) (redirect page) (← links)
- Predicate provability logic with non-modalized quantifiers (Q1176101) (← links)
- A topos-theoretic approach to reference and modality (Q1182706) (← 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)
- Finite trees in tense logic (Q1288959) (← links)
- Coalgebraic logic (Q1295427) (← links)
- A simple propositional \(\text{S}5\) tableau system (Q1295438) (← links)
- What is the upper part of the lattice of bimodal logics? (Q1327483) (← links)
- Logics and decidability for labelled pre- and partially ordered Kripke structures (Q1328764) (← links)
- The greatest extension of S4 into which intuitionistic logic is embeddable (Q1378428) (← links)
- Not every ``tabular'' predicate logic is finitely axiomatizable (Q1378430) (← links)
- A note on some extension results (Q1814182) (← links)
- Dynamic bracketing and discourse representation (Q1815432) (← links)
- Logics of some Kripke frames connected with Medvedev notion of informational types (Q1820765) (← links)
- Products of modal logics. III. Products of modal and temporal logics (Q1863827) (← links)
- Multimodal linguistic inference (Q1923840) (← links)
- The expressive power of second-order propositional modal logic (Q1924326) (← links)
- On Kripke completeness of modal predicate logics around quantified \textbf{K5} (Q2105091) (← links)
- Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable (Q2276947) (← links)
- On squares of modal logics with additional connectives (Q2510775) (← links)
- Bisimulation games and locally tabular logics (Q2965814) (← links)
- (Q3012545) (← links)
- Squares of modal logics with additional connectives (Q3145920) (← links)
- (Q3206929) (← links)
- (Q3509042) (← links)
- (Q3880811) (← links)
- (Q3902989) (← links)
- (Q3964525) (← links)
- (Q3967518) (← links)
- A Remark on M. K. Rennie's Paper “Models for Multiply Modal Systems” (Q4161299) (← links)
- (Q4163190) (← links)
- (Q4198475) (← links)
- (Q4198476) (← links)
- (Q4215603) (← links)
- Undecidability of modal and intermediate first-order logics with two individual variables (Q4276022) (← links)
- Products of modal logics, part 1 (Q4380448) (← links)
- (Q4474858) (← links)
- « Everywhere » and « here » (Q4531583) (← links)
- (Q4636053) (← links)
- (Q4636310) (← links)
- (Q4694215) (← links)
- (Q4833776) (← links)
- Products of modal logics. Part 2: relativised quantifiers in classical logic (Q4952023) (← links)
- Segerberg Squares of Modal Logics and Theories of Relation Algebras (Q5214740) (← links)
