The following pages link to Robert Goldblatt (Q227763):
Displaying 47 items.
- Grothendieck Topology as Geometric Modality (Q3929724) (← links)
- The McKinsey axiom is not canonical (Q3984429) (← links)
- (Q4011717) (← links)
- The Stone Space of an Ortholattice (Q4056050) (← links)
- Decidability of Some Extensions of <i>J</i> (Q4063433) (← links)
- First-order definability in modal logic (Q4068700) (← links)
- (Q4088789) (← links)
- (Q4128788) (← links)
- (Q4128789) (← links)
- (Q4217595) (← links)
- (Q4218534) (← links)
- Relativised quantification: Some canonical varieties of sequence-set algebras (Q4391430) (← links)
- (Q4460835) (← links)
- (Q4463931) (← links)
- (Q4495853) (← links)
- Algebraic polymodal logic: a survey (Q4511600) (← links)
- (Q4636043) (← links)
- (Q4661993) (← links)
- A comonadic account of behavioural covarieties of coalgebras (Q4675768) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- (Q4735709) (← links)
- (Q4818651) (← links)
- A Calculus of Terms for Coalgebras of Polynomial Functors (Q4917037) (← links)
- Equivalent Beliefs in Dynamic Doxastic Logic (Q4982657) (← links)
- Modal Logics that Bound the Circumference of Transitive Frames (Q5015972) (← links)
- Modal Logics of Some Hereditarily Irresolvable Spaces (Q5027241) (← links)
- STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES (Q5117595) (← links)
- Metamathematics of modal logic (Q5181665) (← links)
- (Q5198903) (← links)
- Ultraproducts of Admissible Models for Quantified Modal Logic (Q5213666) (← links)
- (Q5310880) (← links)
- Tangled Closure Algebras (Q5368923) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395107) (← links)
- (Q5465440) (← links)
- An alternative semantics for quantified relevant logic (Q5477628) (← links)
- (Q5631079) (← links)
- (Q5632543) (← links)
- (Q5639693) (← links)
- (Q5639694) (← links)
- A Model‐Theoretic Study of Some Systems Containing S<b>3</b> (Q5668437) (← links)
- (Q5869720) (← links)
- (Q5883180) (← links)
- Persistence and atomic generation for varieties of Boolean algebras with operators (Q5954707) (← links)
- What is the coalgebraic analogue of Birkhoff's variety theorem? (Q5958779) (← links)
- Fine's Theorem on First-Order Complete Modal Logics (Q6272319) (← links)
- Canonical extensions and ultraproducts of polarities (Q6291889) (← links)
- Canonicity in power and modal logics of finite achronal width (Q6638232) (← links)