dmitri83's knowledge [13 articles] Export

Recent papers added to dmitri83's library classified by the tag knowledge. You can also see everyone's knowledge.

	The logic of public announcements, common knowledge, and private suspicions [My Copy] In TARK '98: Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge (1998), pp. 43-56. by Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki posted to knowledge modal-logic by dmitri83 on 2006-09-27 16:57:14 as
	A Logic for Coalgebraic Simulation [My Copy] Electronic Notes in Theoretical Computer Science In CMCS'2000, Coalgebraic Methods in Computer Science, Vol. 33 (2000), pp. 42-60. by Alexandru Baltag posted to knowledge by dmitri83 on 2006-09-27 16:54:53 as along with 1 person christiankissig
	A Coalgebraic Semantics for Epistemic Programs [My Copy] Electronic Notes in Theoretical Computer Science In CMCS'03, Coalgebraic Methods in Computer Science (Satellite Event for ETAPS 2003), Vol. 82, No. 1. (July 2003), pp. 1-22. by Alexandru Baltag posted to knowledge by dmitri83 on 2006-09-27 16:54:22 as
	Resolution Spaces: A Topological Approach to Similarity [My Copy] In DEXA '00: Proceedings of the 11th International Workshop on Database and Expert Systems Applications (2000) by K. Georgatos posted to knowledge topology by dmitri83 on 2006-09-27 16:17:21 as
	$My PDF arl&\#243;-costa_05_firstorder.pdf$ First-order classical modal logic: applications in logics of knowledge and probability [My Copy] In TARK '05: Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge (2005), pp. 262-278. by Horacio Arl&\#243;-Costa, Eric Pacuit posted to knowledge modal-logic neighborhood-semantics by dmitri83 on 2006-09-27 15:15:50 as
	Disjunctive Quantum Logic in Dynamic Perspective [My Copy] (22 Apr 2002) by Bob Coecke posted to knowledge quantum-computation quantum-logic by dmitri83 on 2006-08-29 18:45:43 as
	Epistemic actions as resources [My Copy] (7 Aug 2006) by Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh posted to knowledge by dmitri83 on 2006-08-29 17:05:26 as along with 5 people pirapira leemond31 jrw greg_restall Scis0000002
	Knowledge Theoretic Properties of Topological Spaces [My Copy] (26 Jul 2000) by Konstantinos Georgatos posted to knowledge modal-logic topology by dmitri83 on 2006-08-22 15:05:51 as
	Modal Logics for Topological Spaces [My Copy] (26 Jul 2000) by Konstantinos Georgatos posted to knowledge modal-logic topology by dmitri83 on 2006-08-22 15:05:24 as
	Knowledge on Treelike Spaces [My Copy] (21 Jul 2000) by Konstantinos Georgatos posted to knowledge modal-logic by dmitri83 on 2006-08-22 15:03:27 as
	The Geometry of Knowledge [My Copy] by J. van Benthem, D. Sarenac posted to knowledge topology by dmitri83 on 2006-03-27 18:00:53 as along with 3 people Guff32 RafG LuciaLeao
	Topological Reasoning and the Logic of Knowledge [My Copy] nnals of Pure and Applied Logic, Vol. 78, No. 1-3. (1996), pp. 73-110. by Lawrense S. Moss, Rohit Parikh, Andrew Dabrowski posted to knowledge topology by dmitri83 on 2006-03-27 17:34:15 as
	Knowledge Theoretic Properties of Topological Spaces [My Copy] (26 Jul 2000) by Konstantinos Georgatos posted to knowledge topology by dmitri83 on 2006-03-27 17:17:05 as

Note: You may cite this page as: http://www.citeulike.org/user/dmitri83/tag/knowledge

model-theory	63
modal-logic	26
algebraic-geometry	23
topology	20
survey	15
knowledge	13
geometry	13
lecture-notes	12
quantum-computation	12
lambda-calculus	11
category-theory	10
physics	9
functional-programming	9
computational-complexity	8
tcs	8
acquaintances	7
finite	7
general-culture	7
hol	6
algebraic-topology	6
set-theory	5
combinatorics	5
descriptive-set-theory	4
noncommutative-geometry	4
proof-theory	4
nip	4
motives	4
fo-logic	3
textbook	3
quantum-logic	3
aec	2
neighborhood-semantics	2
hybrid-logic	2
arithmetic	2
theorem-proving	2
algorithms	1
n-categories	1
graphs	1
representation-theory	1
c-star-algebras	1
fun	1

dmitri83's knowledge [13 articles] Export

dmitri83's tags