Tag kripke [19 articles] Export

Recent papers classified by the tag kripke.

	Characterizing Kripke structures in temporal logic [My Copy] TAPSOFT '87 (1987), pp. 256-270. by M. Browne, E. Clarke, O. Grümberg posted to characteristic kripke temporal by fdechesn on 2009-03-30 16:23:30 as along with 1 person sgwyj
	A New Semantics for Positive Modal Logic [My Copy] Notre Dame Journal of Formal Logic, Vol. 38, No. 1. (1997), pp. 1-18. by S. Celani, R. Jansana posted to _copy frame kripke modal_logic semantics by adrian_pigors on 2009-02-17 11:31:02 as
	AN INTUITIONISTIC CHARACTERIZATION OF CLASSICAL LOGIC [My Copy] Journal of Philosophical Logic, Vol. 37, No. 4. (2008), pp. 299-317. by Ming Hsiung posted to kripke logic semantics by jago on 2008-07-01 09:54:13 as
	A coalgebraic view on positive modal logic [My Copy] Theoret. Comput. Sci., Vol. 327, No. 1-2. (2004), pp. 175-195. by Alessandra Palmigiano posted to coalgebra kripke modal_logic semantics by adrian_pigors on 2008-02-19 11:54:05 as
	Positive modal logic [My Copy] Studia Logica, Vol. 55, No. 2. (1995), pp. 301-317. by Michael J. Dunn posted to kripke modal_logic semantics by adrian_pigors on 2008-02-19 11:46:09 as
	$My PDF rö\ssiger_00_coalgebras.pdf$ Coalgebras and modal logic [My Copy] In CMCS'2000: coalgebraic methods in computer science (Berlin), Vol. 33 (2000) by Martin Rö\ssiger posted to coalgebra _copy kripke modal_logic _priv by adrian_pigors on 2008-02-05 12:10:05 as
	Epistemic Equivalence and Bisimulation [My Copy] by Jelle Gerbrandy posted to bisimulation epistemic kripke by sknight on 2008-02-01 21:43:24 as
	Completeness results for intuitionistic and modal logic in a categorical setting [My Copy] Ann. Pure Appl. Logic, Vol. 72, No. 1. (1995), pp. 25-101. by M. Makkai, G. E. Reyes posted to categorical_logic _copy kripke semantics by adrian_pigors on 2008-02-01 13:24:27 as
	Representation theorems and the semantics of non-classical logics, and applications to automated theorem proving [My Copy] In Beyond two: theory and applications of multiple-valued logic, Vol. 114 (2003), pp. 59-100. by Viorica S. Stokkermans posted to _copy kripke logic representation semantics by adrian_pigors on 2008-02-01 12:51:54 as
	Categorical and Kripke semantics for constructive S4 modal logic [My Copy] In Computer science logic (Paris, 2001), Vol. 2142 (2001), pp. 292-307. by Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter posted to categorical_logic _copy kripke modal_logic by adrian_pigors on 2007-12-13 10:03:50 as
	Gaggle theory: an abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators [My Copy] In Logics in AI (Amsterdam, 1990), Vol. 478 (1991), pp. 31-51. by Michael J. Dunn posted to bao _copy gaggle galois_connection kripke residuation by adrian_pigors on 2007-12-12 14:18:44 as
	Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic [My Copy] Log. J. IGPL, Vol. 7, No. 6. (1999), pp. 683-715. by Sergio Celani, Ramon Jansana posted to _copy duality kripke lattice modal_logic semantics by adrian_pigors on 2007-10-08 14:27:53 as
	Four-valued logic [My Copy] Notre Dame J. Formal Logic, Vol. 42, No. 3. (2001), pp. 171-192 (2003). by Katalin Bimbó, Michael J. Dunn posted to _copy kripke logic semantics substructural_logics by adrian_pigors on 2007-10-04 19:23:04 as
	An Introduction to Substructural Logics [My Copy] (01 February 2000) by Greg Restall posted to _bib frame kripke logic proof_theory semantics substructural_logics by adrian_pigors on 2007-09-20 12:49:51 as
	Coincidence under a Sortal [My Copy] The Philosophical Review, Vol. 105, No. 2. (1996), pp. 145-171. by David S. Oderberg posted to essentialism kripke metaphysics philosophy_of_science substance by cirdan on 2007-08-08 17:00:56 as
	Reducing reductionism: on a putative proof for Extreme Haecceitism [My Copy] Philosophical Studies by Troy Catterson posted to essentialism identity kripke modal_logic salmon trans_world_identity by cirdan on 2007-07-24 22:45:02 as
	There are Kinds and Kinds of Kinds: Ben-Yami on the Semantics of Kind Terms [My Copy] Philosophical Studies by G. Contessa posted to ben-yami essentialism kripke names putnam by cirdan on 2007-07-24 22:35:25 as
	Naming and Necessity [My Copy] (18 February 2005) by Saul A. Kripke posted to kripke by terumiyake on 2006-05-07 22:35:46 as along with 1 person spinaltap526
	Recent Defenses of Descriptivism [My Copy] Mind & Language, Vol. 20, No. 1. (February 2005), 103. by Anthony Everett posted to arguments descriptivism kripke modal by wyatt on 2005-03-19 02:17:18 as

Note: You may cite this page as: http://www.citeulike.org/tag/kripke

_copy	11
semantics	11
modal_logic	8
frame	5
logic	5
substructural_logics	4
essentialism	3
categorical_logic	2
coalgebra	2
relation	2
temporal	2
_bib	1
_priv	1
arguments	1
bao	1
ben-yami	1
bisimulation	1
bond	1
bounded_morphism	1
canonical_extension	1
category_theory	1
characterisation	1
characteristic	1
descriptivism	1
duality	1
epistemic	1
fca	1
gaggle	1
galois_connection	1
identity	1
lattice	1
metaphysics	1
modal	1
names	1
philosophy_of_science	1
proof_theory	1
putnam	1
representation	1
residuation	1
salmon	1
substance	1
trans_world_identity	1

Tag kripke [19 articles] Export

Related Tags