Search Results

Kripke Incomplete Logics Containing KTB

Author: Miyazaki, Yutaka

Source: Studia Logica, Volume 85, Number 3, April 2007 , pp. 303-317(15)

Publisher: Springer

Modal Logic for Other-World Agnostics: Neutrality and Halldén Incompleteness

Author: Humberstone, Lloyd

Source: Journal of Philosophical Logic, Volume 36, Number 1, February 2007 , pp. 1-32(32)

Publisher: Springer

After Gödel

Author: Putnam, Hilary

Source: Logic Journal of the IGPL, Volume 14, Number 5, October 2006 , pp. 745-754(10)

Publisher: Oxford University Press

On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames

Author: Skvortsov, Dmitrij

Source: Journal of Logic and Computation, Volume 16, Number 5, October 2006 , pp. 685-695(11)

Publisher: Oxford University Press

All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete

Authors: Litak, Tadeusz; Wolter, Frank

Source: Studia Logica, Volume 81, Number 2, November 2005 , pp. 153-165(13)

Publisher: Springer

On the Predicate Logic of Linear Kripke Frames and some of its Extensions

Author: Skvortsov, Dmitrij

Source: Studia Logica, Volume 81, Number 2, November 2005 , pp. 261-282(22)

Publisher: Springer

Modal Incompleteness Revisited

Author: Litak T.

Source: Studia Logica, Volume 76, Number 3, April 2004 , pp. 329-342(14)

Publisher: Springer

Putnam, Peano, and the Malin Génie: could we possibly be wrong about elementary number-theory?

Author: Norris C.

Source: Journal for General Philosophy of Science, Volume 33, Number 2, 2002 , pp. 289-321(33)

Publisher: Springer

A Map of Common Knowledge Logics

Authors: Kaneko M.; Nagashima T.; Suzuki N-Y.; Tanaka Y.

Source: Studia Logica, Volume 71, Number 1, June 2002 , pp. 57-86(30)

Publisher: Springer

Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster

Author: Shimura T.

Source: Studia Logica, Volume 65, Number 2, July 2000 , pp. 237-247(11)

Publisher: Springer

On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics

Author: Skvortsov D.

Source: Studia Logica, Volume 61, Number 2, September 1998 , pp. 281-292(12)

Publisher: Springer

Undecidability and Intuitionistic Incompleteness

Author: McCarty D.C.

Source: Journal of Philosophical Logic, Volume 25, Number 5, October 1996 , pp. 559-565(7)

Publisher: Springer