9 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
Contributors
-
-
- Book:
- The Cambridge Dictionary of Philosophy
- Published online:
- 05 August 2015
- Print publication:
- 27 April 2015, pp ix-xxx
-
- Chapter
- Export citation
Marr versus Marr: On the notion of levels
-
- Journal:
- Behavioral and Brain Sciences / Volume 17 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 04 February 2010, pp. 681-682
-
- Article
- Export citation
A logic for metric and topology
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 795-828
- Print publication:
- September 2005
-
- Article
- Export citation
Decidable fragments of first-order modal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1415-1438
- Print publication:
- September 2001
-
- Article
- Export citation
Normal monomodal logics can simulate all others
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-138
- Print publication:
- March 1999
-
- Article
- Export citation
Completeness and decidability of tense logics closely related to logics above K4
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-158
- Print publication:
- March 1997
-
- Article
- Export citation
The finite model property in tense logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 757-774
- Print publication:
- September 1995
-
- Article
- Export citation
Properties of independently axiomatizable bimodal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1469-1485
- Print publication:
- December 1991
-
- Article
- Export citation