christiankissig's logic [35 articles] Export

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

	Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext) [My Copy] (27 October 1994) by Saunders MacLane, Ieke Moerdijk posted to category_theory geometry logic by christiankissig on 2008-12-04 14:01:09 as along with 6 people and 1 group noam_zeilberger NitinCR DavidChemouil mahler hhalvors mmarcus Rightscom
	A New Approach to Abstract Syntax Involving Binders [My Copy] In LICS '99: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (1999) by Murdoch Gabbay, Andrew Pitts posted to category_theory logic by christiankissig on 2008-12-04 13:56:13 as
	Extensive Games as Process Models [My Copy] Journal of Logic, Language and Information, Vol. 11, No. 3. (1 June 2002), pp. 289-313. by Johan van Benthem posted to game_theory logic by christiankissig on 2008-12-02 17:33:53 as along with 1 person JakubSzymanik
	1 When are Two Games the Same? [My Copy] posted to game_theory logic by christiankissig on 2008-12-02 17:30:52 as
	Modal Logic for Rewriting Theories [My Copy] In The 3rd International Workshop on Rewriting Logic and its Applications, Vol. 36 (2001) by D. Pattinson edited by K. Futatsugi posted to logic by christiankissig on 2008-09-11 13:36:59 as
	Expressivity of coalgebraic modal logic: The limits and beyond [My Copy] Theoretical Computer Science In Foundations of Software Science and Computational Structures, Vol. 390, No. 2-3. (28 January 2008), pp. 230-247. by Lutz Schröder posted to category_theory coalgebra logic by christiankissig on 2008-09-08 09:25:45 as
	Expressivity of Coalgebraic Modal Logic: The Limits and Beyond [My Copy] Foundations of Software Science and Computational Structures (2005), pp. 440-454. by Lutz Schröder posted to category_theory coalgebra logic by christiankissig on 2008-09-08 09:23:40 as
	Expressivity of Coalgebraic Modal Logic: The Limits and Beyond [My Copy] In Foundations of Software Science And Computation Structures, Vol. 3441 (2005), pp. 440-454. by Lutz Schröder edited by Vladimiro Sassone posted to category_theory coalgebra coalgebraic_logic coalgebras expressivity lifting logic modal natural predicate relation by christiankissig on 2008-08-23 18:21:58 as
	Coalgebras and their logics [My Copy] SIGACT News, Vol. 37, No. 2. (June 2006), pp. 57-77. by Alexander Kurz posted to category_theory coalgebra logic by christiankissig on 2008-08-23 18:16:12 as along with 1 person Scis0000002
	On the structure of paradoxes [My Copy] Arch. Math. Logic, Vol. 31 (1992), pp. 397-406. by Dusko Pavlovic posted to logic by christiankissig on 2008-07-12 17:14:45 as
	Semantics of first order parametric specifications [My Copy] In Formal Methods '99, Vol. 1708 (1999), pp. 155-172. by Duško Pavlovic edited by J. Woodcock, J. Wing posted to logic by christiankissig on 2008-07-12 17:14:44 as
	Logic of build fusion [My Copy] No. KES.U.00.9. (December 2000) by Dusko Pavlovic posted to logic by christiankissig on 2008-07-12 17:14:44 as
	Metric spaces, generalized logic and closed categories [My Copy] (2000) by William F. Lawvere posted to category_theory logic topology by christiankissig on 2008-07-06 13:29:55 as along with 2 people jonjonc jamievicary
	Rudiments of $\μ$-Calculus [My Copy] Vol. 540-28739v. 146 (feb 2001) edited by Andre Arnold, Damien Niwinsky posted to logic by christiankissig on 2008-07-01 16:58:50 as
	Decidability of S1S and S2S [My Copy] In Automata, Logics, and Infinite Games: A Guide to Current Research, No. 2500. (2002), pp. 207-230. by Mark Weyer edited by Erich Grädel, Wolfgang Thomas, Thomas Wilke posted to automata_theory logic by christiankissig on 2008-07-01 16:58:50 as
	Automata and Logic [My Copy] (2002) by Igor Walukiewicz posted to automata_theory logic by christiankissig on 2008-07-01 16:58:49 as
	Monadic Second Order Logic on Tree-Like Structures [My Copy] In Symposium on Theoretical Aspects of Computer Science (1996), pp. 401-413. by Igor Walukiewicz posted to automata_theory logic by christiankissig on 2008-07-01 16:58:49 as
	Automata and Fixed Point Logics for Coalgebras [My Copy] Electronic Notes in Computer Science, Vol. 106 (2004), pp. 355-375. by Yde Venema posted to automata_theory coalgebra logic by christiankissig on 2008-07-01 16:58:49 as
	The Complexity of Translating Logic to Finite Automata [My Copy] In Automata, Logics and Infinite Games: A Guide to Current Research (2002), pp. 231-238. by Klaus Reinhardt posted to automata_theory logic by christiankissig on 2008-07-01 16:58:49 as
	Decidability of Second-Order Theories and Automata on Infinite Trees [My Copy] In Transactions of the American Mathematical Society, Vol. 141 (1969), pp. 1-35. by Michael O. Rabin posted to automata_theory logic by christiankissig on 2008-07-01 16:58:49 as
	Finite Automata and their Decision Problems [My Copy] (1959) by Michael O. Rabin, Dana Scott posted to automata_theory logic by christiankissig on 2008-07-01 16:58:49 as
	Coalgebraic Automata Theory: Basic Results [My Copy] (2007) by Clemens Kupke, Yde Venema posted to automata_theory coalgebra logic by christiankissig on 2008-07-01 16:58:49 as
	Finitary Coalgebraic Logic [My Copy] (2006) by Clemens Kupke posted to automata_theory category_theory coalgebra logic by christiankissig on 2008-07-01 16:58:49 as
	Closure Properties of Coalgebra Automata [My Copy] In LICS '05: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) (2005), pp. 199-208. by Clemens Kupke, Yde Venema posted to automata_theory coalgebra logic by christiankissig on 2008-07-01 16:58:49 as
	Automata, Logics, and Infinite Games: A Guide to Current Research [My Copy] (2002) edited by Erich Grädel, Wolfgang Thomas, Thomas Wilke posted to automata_theory game_theory logic by christiankissig on 2008-07-01 16:58:48 as
	Decision Problems of Finite Automata Design and Related Arithmetics [My Copy] In Transactions of the American Mathematical Society, Vol. 98, No. 1 (1961), pp. 21-51. by Calvin C. Elgot posted to automata_theory logic by christiankissig on 2008-07-01 16:58:48 as
	Model Checking [My Copy] (1999) edited by Edmund M. Clark, Orna Grumberg, Doron A. Peled posted to automata_theory logic by christiankissig on 2008-07-01 16:58:48 as
	Alternation [My Copy] J. ACM, Vol. 28, No. 1. (1981), pp. 114-133. by Ashok K. Chandra, Dexter Kozen, Larry J. Stockmeyer posted to logic by christiankissig on 2008-07-01 16:58:48 as
	Using Determinacy to Eliminate Quantifiers [My Copy] In Lecture Notes in Computer Science Vol. 56 (1977), pp. 367-378. by Julius R. Büchi posted to automata_theory logic by christiankissig on 2008-07-01 16:58:48 as
	Weak Monadic Second-Order Arithmetic and Finite Automata [My Copy] (1959) by Julius R. Buechi posted to automata_theory logic by christiankissig on 2008-07-01 16:58:48 as
	Logic for Trace Languages [My Copy] In CONCUR '92 (1992), pp. 504-517. by Alexander M. Rabinovich posted to automata_theory logic by christiankissig on 2008-07-01 16:58:48 as
	Categorical Logic and Type Theory [My Copy] Vol. 141 (1998) by Bart Jacobs posted to category_theory logic type_theory by christiankissig on 2008-07-01 16:58:48 as
	Expressive logics for coalgebras via terminal sequence induction [My Copy] (2002) by D. Pattinson posted to coalgebra logic by christiankissig on 2008-07-01 16:58:47 as
	Coalgebraic Logic [My Copy] Annals of Pure and Applied Logic, Vol. 96, No. 1-3. (1999), pp. 277-317. by Lawrence S. Moss posted to coalgebra logic by christiankissig on 2008-07-01 16:58:47 as
	Linear Logic [My Copy] Vol. 50 (1987), pp. 1-102. by Jean Y. Girard posted to logic by christiankissig on 2008-07-01 16:58:47 as

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

category_theory	133
file-import-samson-abramsky	57
coalgebra	51
logic	35
automata_theory	34
algebra	21
enriched_category_theory	20
monads	18
physics	17
coalgebraic_modal_logic	16
protocols	16
domain_theory	14
modules	14
quantum_logics	14
monoidal_categories	12
game_theory	11
quantum_operator_algebras	9
bicategories	8
lawvere_theories	8
modal_logic	8
semirings	8
distributive_laws	7
higher_category_theory	7
limit-colimit-coincidence	7
quantum_logic	7
game_semantics	6
hopf_algebras	6
topology	6
trace_theory	6
coalgebraic_logic	5
concurrency	5
fibrations	5
process_algebra	5
processes	5
topoi	5
toposes	5
algebraic_topology	4
dagger_frobenius_algebras	4
differential_geometry	4
functor_lifting	4
hopf_monads	4
pi_calculus	4
sheaves	4
simulation	4
bigraphs	3
coinduction	3
constraint_satisfaction_problems	3
functors	3
interaction_categories	3
isbell_conjugacy	3
lambda_calculus	3
observational_equivalence	3
set_theory	3
software_engineering	3
substituion_patterns	3
toget	3
wanted	3
algebraic_geometry	2
algebraic_specification	2
anonymity	2
ccs	2
closed_categories	2
coalgebras	2
cohomology	2
cryptography	2
csp	2
elliptic_curves	2
examples_functors	2
examples_monads	2
factorisation_systems	2
functor_representation	2
geometry	2
graph_theory	2
homotopy	2
hopf_algebra	2
kleene_algebras	2
linear_logic	2
logics	2
morita_duality	2
polynomial_equation	2
profinite_groups	2
quantum_mechanics	2
reversible_computing	2
topological_field_theory	2
traces	2
trace_semantics	2
universal_algebra	2
algebraic_categories	1
analysis	1
automata	1
bialgebra	1
bialgebras	1
bimonads	1
boolean_algebras	1
categorical_logic	1
chu-spaces	1
coalgebraic_automata_theory	1
commutative_monads	1
comonads	1
complexity_theory	1
computational_effects	1
constructive_mathematics	1
cuboidal_sets	1
distributed_systems	1
domain_equations	1
expressivity	1
file-import-09-09-22	1
functional_analysis	1
functional_programming	1
functor_presentation	1
generalised_metric_spaces	1
gsos	1
haskell	1
hilbert_spaces	1
homology	1
hopf_mondas	1
integration_theory	1
kleisli_category	1
knot_theory	1
lifting	1
manifolds	1
mathematics	1
measure_theory	1
modal	1
monad	1
monad_strength	1
morita_equivalence	1
mu_calculus	1
multi_agent_logics	1
natural	1
nominal_sets	1
number_theory	1
petri_nets	1
predicate	1
programming	1
programming_languages	1
proof_theory	1
quantales	1
quantaloids	1
quantum_computing	1
relation	1
retraction	1
separation_logic	1
service_oriented_architectures	1
sos	1
stacks	1
subsitution_patterns	1
substitution_patterns	1
substitution_systems	1
symmetric_monoidal	1
tensor_categories	1
tilings	1
toread	1
type_theory	1

christiankissig's logic [35 articles] Export

christiankissig's tags