38 results
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 03 April 2019, pp. 533-588
- Print publication:
- June 2019
-
- Article
- Export citation
High-Precision Biogenic Fraction Analyses of Liquid Fuels by 14C AMS at HEKAL
-
- Journal:
- Radiocarbon / Volume 60 / Issue 5 / October 2018
- Published online by Cambridge University Press:
- 19 November 2018, pp. 1317-1325
- Print publication:
- October 2018
-
- Article
- Export citation
RR Lyrae studies with Kepler: showcasing RR Lyr
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 9 / Issue S301 / August 2013
- Published online by Cambridge University Press:
- 18 February 2014, pp. 257-260
- Print publication:
- August 2013
-
- Article
-
- You have access
- Export citation
Non-finitely axiomatisable two-dimensional modal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 970-986
- Print publication:
- September 2012
-
- Article
- Export citation
DIVISION IX / COMMISSION 25 / WORKING GROUP INFRARED ASTRONOMY
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 7 / Issue T28A / December 2011
- Published online by Cambridge University Press:
- 04 April 2012, pp. 297-302
- Print publication:
- December 2011
-
- Article
-
- You have access
- Export citation
DIVISION IX / COMMISSION 25 / WORKING GROUP: INFRARED ASTRONOMY
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 6 / Issue T27B / December 2010
- Published online by Cambridge University Press:
- 14 May 2010, pp. 229-232
- Print publication:
- December 2010
-
- Article
-
- You have access
- Export citation
Biological damage due to photospheric, chromospheric and flare radiation in the environments of main-sequence stars
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 5 / Issue S264 / August 2009
- Published online by Cambridge University Press:
- 26 February 2010, pp. 419-426
- Print publication:
- August 2009
-
- Article
-
- You have access
- Export citation
DIVISION IX / COMMISSION 25 / WORKING GROUP INFRARED ASTRONOMY
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 4 / Issue T27A / December 2008
- Published online by Cambridge University Press:
- 01 December 2008, pp. 313-315
- Print publication:
- December 2008
-
- Article
-
- You have access
- Export citation
14 - Building the sustainable organization through adaptive, creative coherence in the HR system
-
-
- Book:
- Building More Effective Organizations
- Published online:
- 05 June 2012
- Print publication:
- 13 December 2007, pp 310-333
-
- Chapter
- Export citation
DIVISION IX / COMMISSION 25 / WORKING GROUP INFRARED ASTRONOMY
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 3 / Issue T26B / December 2007
- Published online by Cambridge University Press:
- 18 November 2008, pp. 195-196
- Print publication:
- December 2007
-
- Article
-
- You have access
- Export citation
Astrobiological effects of F, G, K and M main-sequence stars
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 3 / Issue S249 / October 2007
- Published online by Cambridge University Press:
- 01 October 2007, pp. 203-206
- Print publication:
- October 2007
-
- Article
-
- You have access
- Export citation
Including all the Lines
-
- Journal:
- European Astronomical Society Publications Series / Volume 18 / 2006
- Published online by Cambridge University Press:
- 08 March 2006, pp. 129-155
- Print publication:
- 2006
-
- Article
- Export citation
Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 428-438
- Print publication:
- September 2005
-
- Article
- Export citation
Products of ‘transitive” modal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 993-1021
- Print publication:
- September 2005
-
- Article
- Export citation
A Calibration of FWHM vs. v for UV Lines
-
- Journal:
- Symposium - International Astronomical Union / Volume 215 / 2004
- Published online by Cambridge University Press:
- 26 May 2016, pp. 19-20
- Print publication:
- 2004
-
- Article
-
- You have access
- Export citation
Spatially Resolved STIS Spectroscopy of Betelgeuse's Outer Atmosphere
-
- Journal:
- Symposium - International Astronomical Union / Volume 219 / 2004
- Published online by Cambridge University Press:
- 26 May 2016, pp. 641-645
- Print publication:
- 2004
-
- Article
-
- You have access
- Export citation
A Few Things We Do Not Know About Stars and Model Atmospheres
-
- Journal:
- Symposium - International Astronomical Union / Volume 210 / 2003
- Published online by Cambridge University Press:
- 26 May 2016, pp. 45-46
- Print publication:
- 2003
-
- Article
-
- You have access
- Export citation
On modal logics between K × K × K and S5 × S5 × S5
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-234
- Print publication:
- March 2002
-
- Article
- Export citation
Working Group on Infrared Astronomy: (Groupe De Travail Pour Astronomie Infrarouge)
-
- Journal:
- Transactions of the International Astronomical Union / Volume 25 / Issue 1 / 2002
- Published online by Cambridge University Press:
- 25 April 2016, pp. 340-342
- Print publication:
- 2002
-
- Article
-
- You have access
- Export citation
On axiomatising products of Kripke frames
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 923-945
- Print publication:
- June 2000
-
- Article
- Export citation