21 results
CANONICITY IN POWER AND MODAL LOGICS OF FINITE ACHRONAL WIDTH
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 22 March 2023, pp. 1-31
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 24 October 2019, pp. 611-632
- Print publication:
- September 2020
-
- Article
- Export citation
Photographic evidence of the return period of a Svalbard surge-type glacier: a tributary of Pedersenbreen, Kongsfjord
-
- Journal:
- Journal of Glaciology / Volume 50 / Issue 169 / 2004
- Published online by Cambridge University Press:
- 08 September 2017, pp. 307-308
-
- Article
-
- You have access
- HTML
- Export citation
Jouko Väänänen. Models and games. Cambridge Studies in Advanced Mathematics, vol. 132. Cambridge University Press, Cambridge, 2011, xii + 367 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 406-408
- Print publication:
- September 2012
-
- Article
- Export citation
On canonicity and completions of weakly representable relation algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 1 / March 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-262
- Print publication:
- March 2012
-
- Article
- Export citation
Weak representations of relation algebras and relational bases
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 3 / September 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 870-882
- Print publication:
- September 2011
-
- Article
- Export citation
THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 22 March 2010, pp. 279-286
- Print publication:
- June 2010
-
- Article
- Export citation
A BISIMULATION CHARACTERIZATION THEOREM FOR HYBRID LOGIC WITH THE CURRENT-STATE BINDER
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 26 February 2010, pp. 247-261
- Print publication:
- June 2010
-
- Article
- Export citation
Comments by Admiral Sir George H. Richards on Sherard Osborn's The discovery of the North-west Passage by ‘Investigator,’ Capt R. M'Clure…
-
- Journal:
- Polar Record / Volume 33 / Issue 187 / October 1997
- Published online by Cambridge University Press:
- 27 October 2009, pp. 337-340
-
- Article
- Export citation
Strongly representable atom structures of cylindric algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 3 / September 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 811-828
- Print publication:
- September 2009
-
- Article
- Export citation
The Hemiptera. By W.R. Dolling, (Oxford Natural History Museum Publications, Oxford University Press, 1991). ix + 274 pp. Hard cover. £40.00. ISBN 0-19-8540167.
-
- Journal:
- Bulletin of Entomological Research / Volume 82 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 10 July 2009, p. 142
-
- Article
- Export citation
Global insect diversity revisited
-
- Journal:
- Journal of Tropical Ecology / Volume 8 / Issue 4 / November 1992
- Published online by Cambridge University Press:
- 10 July 2009, pp. 505-508
-
- Article
- Export citation
The modal logic of affine planes is not finitely axiomatisable
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 3 / September 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 940-952
- Print publication:
- September 2008
-
- Article
- Export citation
Games, logic, and constructive sets, edited by G. Mints and R. Muskens, CSLI Lecture Notes, vol. 161. CSLI Publications, Stanford, CA, 2003, xii + 128 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 439-442
- Print publication:
- September 2005
-
- Article
- Export citation
Terrestrial insects along elevation gradients: species and community responses to altitude
-
- Journal:
- Biological Reviews / Volume 80 / Issue 3 / August 2005
- Published online by Cambridge University Press:
- 28 April 2005, pp. 489-513
- Print publication:
- August 2005
-
- Article
- Export citation
Erdős Graphs Resolve Fine's Canonicity Problem
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 186-208
- Print publication:
- June 2004
-
- Article
- Export citation
Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 387-405
- Print publication:
- September 2003
-
- Article
- Export citation
Provability with Finitely Many Variables
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 3 / September 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 348-379
- Print publication:
- September 2002
-
- Article
- Export citation
Relation algebra reducts of cylindric algebras and an application to proof theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-213
- Print publication:
- March 2002
-
- Article
- Export citation
Complete representations in algebraic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 816-847
- Print publication:
- September 1997
-
- Article
- Export citation