Search Results

The ontology of intentionality II: dependence ontology as prolegomenon to noetic modal semantics

Author: Null, Gilbert

Source: Husserl Studies, Volume 23, Number 2, July 2007 , pp. 119-159(41)

Publisher: Springer

A generalised model of judgment aggregation

Author: Dietrich, Franz

Source: Social Choice and Welfare, Volume 28, Number 4, June 2007 , pp. 529-565(37)

Publisher: Springer

FOIL Axiomatized

Author: Fitting, Melvin

Source: Studia Logica, Volume 84, Number 1, September 2006 , pp. 1-22(22)

Publisher: Springer

Coalgebraic modal logic: soundness, completeness and decidability of local consequence

Author: Pattinson D.

Source: Theoretical Computer Science, Volume 309, Number 1, 2 December 2003 , pp. 177-193(17)

Publisher: Elsevier

Lukasiewicz's Many-valued Logic and Neoplatonic Scalar Modality

Author: Martin J.N.

Source: History and Philosophy of Logic, Volume 23, Number 2, 1 June 2002 , pp. 95-120(26)

Publisher: Taylor and Francis Ltd

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

Naming Worlds in Modal and Temporal Logic

Authors: Gabbay D.M.; Malod G.

Source: Journal of Logic, Language and Information, Volume 11, Number 1, 2002 , pp. 29-65(37)

Publisher: Springer

Provability logics with quantifiers on proofs

Author: Yavorsky R.E.

Source: Annals of Pure and Applied Logic, Volume 113, Number 1, 27 December 2001 , pp. 373-387(15)

Publisher: Elsevier

Model Existence in Non-Compact Modal Logic

Author: Tanaka Y.

Source: Studia Logica, Volume 67, Number 1, February 2001 , pp. 61-73(13)

Publisher: Springer

Glivenko Type Theorems for Intuitionistic Modal Logics

Author: Bezhanishvili G.

Source: Studia Logica, Volume 67, Number 1, February 2001 , pp. 89-109(21)

Publisher: Springer

Reified Temporal Logics: An Overview

Authors: Ma J.; Knight B.

Source: Artificial Intelligence Review, Volume 15, Number 3, May 2001 , pp. 189-217(29)

Publisher: Springer

Original Article
Internalization: The Case of Hybrid Logics

Author: Seligman J.

Source: Journal of Logic and Computation, Volume 11, Number 5, 1 October 2001 , pp. 671-689(19)

Publisher: Oxford University Press

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

The product of converse PDL and polymodal K

Author: Wolter F.

Source: Journal of Logic and Computation, Volume 10, Number 2, April 2000 , pp. 223-251(29)

Publisher: Oxford University Press

Predicate Logics on Display

Author: Wansing H.

Source: Studia Logica, Volume 62, Number 1, January 1999 , pp. 49-75(27)

Publisher: Springer

Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics

Author: Suzuki, Nobu-Yuki

Source: Studia Logica, Volume 63, Number 3, November 1999 , pp. 387-416(30)

Publisher: Springer

Partially Interpreted Relations and Partially Interpreted Quantifiers

Author: Sandu G.

Source: Journal of Philosophical Logic, Volume 27, Number 6, December 1998 , pp. 587-601(15)

Publisher: Springer

Varieties of Monadic Heyting Algebras. Part I

Author: Bezhanishvili G.

Source: Studia Logica, Volume 61, Number 3, November 1998 , pp. 367-402(36)

Publisher: Springer

Labelled Resolution for Classical and Non-classical Logics

Authors: Gabbay D.M.; Reyle U.

Source: Studia Logica, Volume 59, Number 2, September 1997 , pp. 179-216(38)

Publisher: Springer

Game Logic and its Applications I

Authors: Kaneko M.; Nagashima T.

Source: Studia Logica, Volume 57, Numbers 2-3, October 1996 , pp. 325-354(30)

Publisher: Springer