kozima's library 101 articles Export

	Counterparts of Persons and Their Bodies [My Copy] The Journal of Philosophy, Vol. 68, No. 7. (1971), pp. 203-211. by David Lewis posted to philosophy modal-logic by kozima on 2009-11-06 00:33:53 as
	Counterpart Theory and Quantified Modal Logic [My Copy] The Journal of Philosophy, Vol. 65, No. 5. (1968), pp. 113-126. by David K. Lewis posted to quantification philosophy modal-logic by kozima on 2009-11-03 07:26:46 as
	Intuitionistic Propositional Logic with Galois Connections [My Copy] Logic Jnl IGPL (20 October 2009), jzp057. by Wojciech Dzik, Jouni Jarvinen, Michiro Kondo posted to no-tag by kozima on 2009-10-23 12:58:03 as
	Intuitionistic hybrid logic [My Copy] Journal of Applied Logic, Vol. 4, No. 3. (September 2006), pp. 231-255. by T. Brauner, V. Depaiva posted to kripke-semantics hybrid-logic by kozima on 2009-10-07 08:29:23 as along with 1 person robertjohnsimmons
	HSP-type Characterization of Strong Equational Classes of Partial Algebras [My Copy] Studia Logica by Bogdan Staruch posted to algebra by kozima on 2009-10-01 16:19:19 as
	Using modal logics to express and check global graph properties [My Copy] Logic Jnl IGPL, Vol. 17, No. 5. (1 October 2009), pp. 509-537. by Mario R. F. Benevides, L. Menasche Schechter posted to modal-logic complexity by kozima on 2009-09-30 15:18:02 as
	On the convergence of reduction-based and model-based methods in proof theory [My Copy] Logic Jnl IGPL, Vol. 17, No. 5. (1 October 2009), pp. 489-497. by Gilles Dowek posted to no-tag by kozima on 2009-09-30 03:20:13 as along with 1 person pirapira
	Logics of Kripke meta-models [My Copy] Logic Jnl IGPL (3 September 2009), jzp047. by Sergey Babenyshev, Vladimir Rybakov posted to substructural-logic modal-logic kripke-semantics by kozima on 2009-09-14 14:42:04 as
	First-Order Modal Logic (Synthese Library) [My Copy] (01 October 1998) by M. Fitting, Richard L. Mendelsohn posted to philosophy modal-logic by kozima on 2009-08-25 09:45:31 as
	Advice on Modal Logic [My Copy] In Philosophical Problems in Logic (1970), pp. 143-173. by Dana Scott edited by Karel Lambert posted to modal-logic by kozima on 2009-08-21 09:26:25 as along with 1 person nortexoid
	Dualities for Intuitionistic Modal Logics [My Copy] Dick de Jongh's Liber Amicorum (2004), pp. 151-168. by Alessandra Palmigiano posted to duality kripke-semantics modal-logic by kozima on 2009-08-07 02:53:40 as
	Intuitionistic Modal Logic [My Copy] In Logic and Foundations of Mathematics (1999), pp. 227-238. by Frank Wolter, Michael Zakharyaschev edited by Andrea Cantini, Ettore Casari, Pierluigi Minari posted to modal-logic survey by kozima on 2009-08-07 02:38:38 as
	Topological duality for intuitionistic modal algebras [My Copy] Journal of Pure and Applied Algebra, Vol. 148, No. 2. (28 April 2000), pp. 171-189. by B. Hilken posted to duality modal-logic by kozima on 2009-08-06 07:23:29 as
	A Simplified Embedding of E into Monomodal K [My Copy] Logic Jnl IGPL (9 July 2009), jzp024. by Rohan French posted to modal-logic by kozima on 2009-07-15 15:47:32 as
	Truth Values and Proof Theory [My Copy] Studia Logica by Greg Restall posted to no-tag by kozima on 2009-07-15 15:46:05 as along with 1 person MichaelDe
	Multi-valued Semantics: Why and How [My Copy] Studia Logica by Arnon Avron posted to many-valued-logic by kozima on 2009-07-15 15:40:42 as along with 1 person MichaelDe
	Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning) [My Copy] (25 December 2006) posted to modal-logic by kozima on 2009-05-29 07:26:50 as
	Modal logic as a basis for distributed computation [My Copy] (October 2003) by Jonathan Moody posted to distributed-computation lambda-calculi modal-logic type-system by kozima on 2009-05-28 08:00:06 as
	Distributed Control Flow with Classical Modal Logic [My Copy] In 14th Annual Conference of the European Association for Computer Science Logic (CSL 2005), Lecture Notes in Computer Science (2005) by Tom M. Vii, Karl Crary, Robert Harper posted to distributed-computation modal-logic type-system by kozima on 2009-05-28 03:29:39 as
	A Symmetric Modal Lambda Calculus for Distributed Computing [My Copy] Logic in Computer Science, Symposium on In Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on, Vol. 0 (2004), pp. 286-295. by V. Tom Murphy, Karl Crary, Robert Harper, Frank Pfenning posted to distributed-computation lambda-calculi modal-logic type-system by kozima on 2009-04-14 01:52:28 as along with 2 people and 1 group pirapira robertjohnsimmons ConcertRG
	Categorical characterization of the MacNeille completion [My Copy] Archiv der Mathematik, Vol. 18, No. 4. (30 September 1967), pp. 369-377. by B. Banaschewski, G. Bruns posted to category poset by kozima on 2009-04-09 16:10:33 as
	Computational Types from a Logical Perspective [My Copy] Journal of Functional Programming, Vol. 8, No. 2. (1998), pp. 177-193. by P. N. Benton, Gavin Bierman, Valeria de Paiva posted to lambda-calculi modal-logic monads by kozima on 2009-03-30 03:55:10 as along with 2 people vcvpaiva jsala
	Computational lambda-calculus and monads [My Copy] Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23. by E. Moggi posted to category lambda-calculi monads by kozima on 2009-03-29 07:39:30 as along with 10 people and 1 group pedagand JeffreyPalmer voigt msakai bonotake dmitri83 aleks EdwardKmett Benja mcclurmc Compilers
	Notions of computation and monads [My Copy] Inf. Comput., Vol. 93, No. 1. (July 1991), pp. 55-92. by Eugenio Moggi posted to category monads by kozima on 2009-03-28 03:21:15 as along with 4 people and 1 group robotact spl varming bfraser ConcertRG
	Propositional Lax Logic [My Copy] Information and Computation, Vol. 137, No. 1. (25 August 1997), pp. 1-33. by M. Fairtlough posted to kripke-semantics modal-logic by kozima on 2009-03-27 14:43:25 as along with 1 person robertjohnsimmons
	Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic [My Copy] Logic and Its Applications In Logic and Its Applications (2009), pp. 170-184. by Yoshihiro Maruyama posted to algebra many-valued-logic modal-logic by kozima on 2009-03-25 02:47:15 as
	Coalgebras, Stone Duality, Modal Logic [My Copy] (August 2006) by Alexander Kurz posted to category coalgebra modal-logic by kozima on 2009-03-24 03:05:56 as
	Topics in Coalgebra [My Copy] (August 2004) by Alexander Kurz posted to coalgebra modal-logic by kozima on 2009-03-24 03:02:10 as
	An algebraic generalization of Kripke structures [My Copy] ArXiv e-prints, Vol. 704 (April 2007) by S. Marcelino, P. Resende posted to algebra kripke-semantics modal-logic by kozima on 2009-03-24 02:03:29 as along with 1 person Scis0000002
	Topological Duality for Modal Logic [My Copy] (4 May 2006) by David Gabelaia posted to coalgebra kripke-semantics modal-logic by kozima on 2009-03-23 01:54:14 as
	Perceptual learning and the technology of expertise Studies in fraction learning and algebra [My Copy] Pragmatics & Cognition (2008), pp. 356-405. by Philip J. Kellman, Christine Massey, Zipora Roth, et al.Timothy Burke, Joel Zucker, Amanda Sawa, Katherine E. Aguero, Joseph A. Wise posted to no-tag by kozima on 2009-02-13 14:10:51 as
	Canonical extensions and relational completeness of some substructural logics [My Copy] Journal of Symbolic Logic, Vol. 70, No. 3. (2005), pp. 713-740. by Michael Dunn, Mai Gehrke, Alessandra Palmigiano posted to kripke-semantics poset substructural-logic by kozima on 2009-02-01 09:02:28 as
	Generalized Kripke Frames [My Copy] Studia Logica, Vol. 84, No. 2. (November 2006), pp. 241-275. by Gehrke, Mai posted to kripke-semantics poset substructural-logic by kozima on 2009-01-30 02:29:21 as
	Modal Theories with Intuitionistic Logic [My Copy] In Mathematical Logic, Proceedings of the Conference on Mathematical Logic, Dedicated to the Memory of A. A. Markov (1903-1979), Sofia, September 22-23, 1980 (1984), pp. 139-171. by Vladimir H. Sotirov posted to modal-logic by kozima on 2009-01-01 00:57:08 as
	Correspondence and completeness in the first- and second-order semantics for modal logic [My Copy] In Proceedings of the Third Scandinavian Logic Symposium (1975), pp. 110-143. by Henrik Sahlqvist edited by Stig Kanger posted to modal-logic by kozima on 2008-12-31 06:07:08 as
	On modal logic with an intuitionistic base [My Copy] Studia Logica, Vol. 36, No. 3. (September 1977), pp. 141-149. by Fischer G. Servi posted to modal-logic by kozima on 2008-12-31 01:49:40 as along with 944 people and 149 groups lauratest pkt thegoose berylschaefer Venu convulted nina4citeulike AJCann smccord chethrington NitinCR Compartia MariekeVanWamel cvq gurprit_raunu refkit fordela Thaverkamp kennedie yuichi1004 sheshebrown marinari eunsugee derchao yse guhjy alexloh80 Zaraitzu RMT Shindy Biomedyknight lesikv TomQ pyjamashark Becky_Shen RandolphCarter LaurieEMiller skolaric smogit apokgmc ldietz ibbuntu bleong mansaok nnikolaj jyew christianholz lottebelice m8eld1989 mchinen magalb Xountini gimpf watersiren cwtjoa agogoh3 samanthahut rsilveira79 andresmh kgutwin thyk mboehmer bernstei waghsk kimlab mlovelace BioNica diomede tulaydemir doncieux szielke daniel_pang paulducker thomast3 brothers hplatero suneilmohan bazza030 jjray jimjoe IulianGherghel pnauer jhibbits alexstorer chem-pion ImranRaoufMalik lisa1 Evangelia jorgen 100155430 z3phyr micha137 uperinetti jsenn antistarlet Alemohammad DonIvanCorleone Calder viveknallur emiliorp kdouglass hotnuts embersp frdr nlafferty pkm lupianiedu APSLuppa raik MarcJungbluth tyrell_turing bertrandservin cswinburne amarois JSicot diamantis reyez guano lizbiogen xistenshal hdopazo christian_librarian sharonazzopardi lionicebear coco0214 ndegara hyhu84 erevans benmiller314 octobremtl kroatiker kightley torresan nkishan RalfMitschke Growlingfish georgenichols eddymier enricaki udivi sjgaller arnavjhala gferencz sgroenewegen asalvadori hideojoho ChristianRauh richpb7 JonathanD bsuter nshephard axin mount_misery isp tfogal pwais splzdnkl jszekely rodney baaklini lynnefox tertel raposoc swatipendyala kentz hdz majdula dabilock Ubiquitousuk ChaTo karin ivanshi tyvokka tnhh turadg scalptob Torsten_Holmer Rootsister frauta jspeer jmetz ejmeij pblanchenay dhbradshaw ecome soeleadership mederly JLMC sbutterfill rsimitev theshadowhost standara chiayung stajich sannama softsimu vlado CameronNeylon emmackinnon fbr susz mazsx cveres johnabender HugoMarcelo dlobo fernand0 dperkel egh samth sora florine ladygoat hopm hellige parmentierf ssn mortimer tinkha V plaugg ansobol mjaz berthelemy eldan pdlug zephoria carloscabanillas Janos bkliethermes nazareno elsantosneto januadiaboli yaroslavvb jurijmlotman geomblog srl bigga treycausey CSG mcphee chandrashekar denns matzke sherrivokey sona cassj lijil hlovise coolger bigmagpie alicetiara yorgos johannsen cavlec smbrower viller jenmy mlzafron tymmail mtruksa pauldobson qbin1304 fluffels loison CVLab BiebmiepLeen marcusbm dumpa afrojapchick asmusolsen jjrodriguez UFGeog mitchee3 rodrigobotelho nealpfox gofsu0 pmaire soloaries HrRossi nschwart derkaiser athma alexbdigital amaitos ejones caitlinshanley lunarmono jblosnich willfox sedging davidr macowell eimaj42jdp Flit BenWillems agallet hawesie sngourlay jolilius rmagf acer ville garyfeng danifazzio willwade gantlord melanieramage mgregg cwb neteler carneym crispinb rdlong lillekatt davemack agarza carsonr imcdnzl tjimenez Tolik lna dmikurube szityu michmill P2324548 jpbenda Vaccine tadm mkwalker anar grzegorz japple planetoid okarsligil stormybriggs UWerplab nbr inbetweener pafmon stina pgastrein xiruela kutabar jfr xamde kliether mleis jshahin cmunson lfriedl sharonhoward ccots terraces czlamer brent_lance subhradeep Jellyfish cmmorel bayesian benavides ghsalazar manuelpq sekulerlab jmaryott kristina chad_davis Ayest thens RMGraze e2holmes JAShapiro contradictoryben lrodero jamesfournie nybon hawkestein diegolino_veneziano rvosa Schmidtc lyongu ricmilne KarinaFigueroa jfmenudet cdmilligan great_apes brthz juliajumeau gloinf billwolff mrkrause halsnalle pintman yish mkcerusky cyph3r idm smithco ruudvanleeuwen BarrosH aelva harshpshah earnoux princessbritty Laki kupopo ryang eustatic daqing stain matts ram frankgrimes Pfaff9 locatellimp seawidget ianli kate_waxlyrical rherring ThomasEtEckert cliona shaun gregnishihara harmonjt Happybene jklugman mwyarbro rburnett prabakaran nperrin tystl gugek NicolasNeubauer gytisc Nele pedagogicapprentice dlouzeck phillipkent emerson rafamayo arichar6 pasion sadsackmac gbae redcourgette sunilbajpai JJNonesuch heintz BuckeyePhysicist bretblosser charlesijones term madhadron ypeter cmm agraham yijisoo jberro peaksun balabu djsaab crumj garypearce rinelk plashkes PaulB charlescearl p2p-sec langec tuaba os252 JonathanFeinberg jingliu dvoigt hywel tshr dgront isorhiza foistudy jenine donade kmcolo fisherp voiklis insilico fitzgeraldsteele junoda sumeetonweb familydoc craigtalbert dmitri83 dmboyer martint RalphPutnam atsu-kan hlwoodcock reta gogabr smmurphy rafabravo dabhishe JennaW hisashim cjones chuggins ptrobajo tenalka stringertheory muli Sulpicus ranb alikocho hiromark gane5h l-alex rdiaz pilho ueberweise wangsd echinotrix ak Odi bezbozhnik todchambers perceptron wasteland93 yizheng stephane-jean mahlow mbaric mtr anon_pl dir289 lanubile fcalefato dpeeler QFRMC xwenlong johncumbers kgronemyer keitokita hkl pervane mpennell kedmond mfisk brusilovsky gregflanders hgamboa pgeymueller last5laps jbrown nathanielvirgo rwm101 ChristianGraf marohn davetown101 barbz79it naturecure edgarbc muellerkind fugitive joshuashen aviad_work crusher lucbelanger lauragonzalez Manhal gagliol ashandanj lns cblock trungdong lechristophe ealloza s-adachi rsabouni dhingra corcoted Shii vrv fmiyamae livingthingdan kaz229 Haggan knowlengr aniak krzywy tg Rootfruit ricklillie gracev lrsantos babyone eenauk long pereicoco yeqiwei amcmorl redelings nojhan mkharito rocarvaj stoev tdpessem briansludwig ttsutsumi wenniehu elsiatcase perhapstoopink atbrew fsteeg digitaldust CDivin whshen andersok fpalm brembs ragha mgran thomaswuebben justaubrey macfreek lilalia azygmunt ddineen miguelbezerra jdiggans huminfly thjt shenshei erikwdavis jsvoboda ceegrs2 jared jijkoun slafont mdifranc GregorSuhr jmurdoch mattlee jvrantwijk ible fruminator mkowa fellow tzmtzm samjlord abbyworld aozkan giorgis fluomouse Tellima RiccardoAlbertoni annmarie37 ciriol sstoerge gengh goingsomewhere ruddyconsult MichaelGaebler nco71 Vezhnick fabianhemmert shangnan Fahland lossius adriancooke baikanamako elisaformist jsanpedro oceanflynn imaginaryunit bobturner grahamc nascardaughter shariffdinah ibschwartz srfairclough joepickrell bouchard islandrru hohkhkh1 alchemyst mlewcio irwink henriksdal cychang padraic trshepherd tarjeiha josemblazquez pitzelberger hukkinen toppi sjc garancher_gougeon_reyotero nmaisonneuve powell digamberjuwekar cmcleod grieth isys1186 aartaki polyparadigm portalqm bangb cdm jeanfou CareyNadell teh zwang shivakmr prerona michaelmampaey mick39 dagmar bellia kevin7 friveroll zetetic karipuf leechuck hp2oo1 jenda_z ngrandy andreacapocci ghunter Maderlock shizhao dayadvham monientiedt rebeccamancy calamar c-gobert baniel jborn dmschneid tale chrisatcite mloewer hanxiansheng rlai jasonbobe ggorjan zeppe AlisonBabeu eprzekwa J_Raff fornstar Akimasa technical oilpalm spacely j0nes TCgroup ingedwar Oktoplus stonest cwr jladell rbmoura Leize adjih carpi omidf2 msampson olaf markusd paulschlesinger qwermish librain pkrrules thehajime PeterRabbit paulvb peefeeyatko kinestetika lynleypage truongducthang metaspencer dodger042 jpassoth krokicki tibbitts brianlimyl vogmae doylem wongmld hayko gjhuang ashko buggle bemike cvarnam jakobl umurthy21 Katje tgyork ivanois toivotuo jnz snyder84 idonaldson dandaman awc mtugrul buchgeher fairy mebiel lectorespa bennettn waszak forestier claudiotubertini acastaner hkreysa AnneB GimpyBee sgclendenon paj prdrieze cortex rschulz aklassen kenneth1ny nschaeff japarejo andreacastelletti schocol hillarpoldmaa kcrawlik ipora yavanna Grobi s-fujii kdesmond bjbecerra ziggy talkingpoints linxiang mllee monkare pantxorama petergun6666 iantunbridge farzanehs mpisarenco blackm0k bluecricket mrosenki BrianTomasik adamsi schulz iup massimocencini natasjadenouden nickpitman genericg dmmarinlo kericson makbot adenkabe ThomasKluge kndiaye duckysherwood scottkb freddan IanBrown squirmelia gkvas hrwiltse mfloris mamadoudiao LTrottier giolakat nikko sarahmccrum malkav30 psique Repton gvandyk1 pdessus joni2am taenneken vrich Neeperando ranger midshipman Corbasson murb carterb applebyb kaniko skumagai Stepstep abdulpur mirweis nlauzier Axis gi0rgi0ne danzinde christiankissig tbolt427 Scis0000002 balicea Langster jeanbean EsepBib pulsus-morbi ezaydens melody scarcelan ablam maburkitt fghjorth austin MariaChiaraP wartaalman dconnelly kungcc sbaete tanneama000 ricckli boellernadja nafets laurabailey iarmac alexispaz pathari steveut wolfe275 dcastro yori amydash rpbharti rwilliamson motchy songpku andrealira Zephyrus wilkinm pchia davidchavalarias 3D24 INC Groep Z2 UCD TACs Master VTI - veille intelligence economique Oxford Hooker Group Web2Learning Web2-0_Education Semantic Web and online learning Gender and ICT e-JC BioVT Security in SOA PIM Semantic Desktop enviro ed Med Anthro @ UF Interactive Archivist Mycology GEB Biocatalysis and Biotransformation UF Geography Department CGREL CMU-HCII NU-PRL UoY-CS-AIG Blog_and_Wiki_Research CompetitionLawAndPolicy Tectonics_and_geomorphology NeuronDynamics Context-driven-testers ReadingLab political_science_students kdl distance remote TUCS-ES_Lab Quantum_physics_Education WAND sims_phd_cohort_2005 ASR digital_youth Librarians biodiversity_conservation Global_biodiversity_model InformationRetrieval Wikipedia AssistiveTechnology Bioinformatics mathgamespatterns folksonomy Neuroscience VisionLab Personal-Information-Management CMS Stoc_Proc_Ecology_WG LanguageAndBrain BrainTheory dtl hdm id vds-arg ALF DPR EvolutionaryComputation STS infovis 2ndFloor fammed-publichealth AI eni Biofluid FAB-lab DSS NeuralNetworks mobilecomputing tmig_psycho RETA SITCRC CDG cliamte_change folk_epistemology instaar_graduate_students Projet_ENSIMAG climate_change BUiGEM social_navigation Macroelectronics ARC04 The_Truants QFRMC_ConsumerCredit Plant-Tissue-Simulation METRIK Metaheuristics Boydian_Society eLearning BioinfoCIPF Nutritional_Polymorphisms CaltechCMP SEGAL Optimization location SNE kickOffTUG-Robocup NanoMechanicsofMetals_MPIMF Georouting Child_Support Software-Architecture moernerlab ilps livingthing HUCO-627-W07 elearning_research PLE-TEL-project Femtochemistry_LMU ediadem ENSSIBVeille memoir ILK ColDyn ImatiGESemantic AGH-IISG PRC_SEA TCD-NDS102-Project Adaptive-Web Microbial-Ecology Flexible_ICT-supported_learning Social_Software_ws_07-08 DialogueResearchGroup AM-VideoGames-Gender dIEMoSIRIS microbiology_nijmegen Europe_GPE ZnO_project ADMiRes Health_Sciences_Librarians Desgin-by-Contract MITCCI Kopelman_Group DarkMarkGroup VivesMinions PostureMobility compneur Philosophy of physics PsychStatsBanter Social Informatics @ IU Patent_Reform Convention on Knowledge Commons feminist_technoscience Roswell Cancer Crosstalk Parsons MFA DT 2008 Thesis Research
	On some intuitionistic modal logics [My Copy] Publications of the Research Institute for Mathematical Sciences, Vol. 13, No. 3. (1977), pp. 687-722. posted to modal-logic by kozima on 2008-12-26 01:19:07 as
	A framework for intuitionistic modal logics: extended abstract [My Copy] In TARK '86: Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge (1986), pp. 399-406. by Gordon Plotkin, Colin Stirling posted to modal-logic by kozima on 2008-12-26 00:17:09 as
	A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness [My Copy] The Journal of Symbolic Logic, Vol. 54, No. 3. (1989), pp. 992-999. by G. Sambin, V. Vaccaro posted to modal-logic by kozima on 2008-11-07 01:48:47 as
	Objects of Categories as Complex Numbers [My Copy] (30 Dec 2002) by Marcelo Fiore, Tom Leinster posted to algebra category by kozima on 2008-11-02 02:12:21 as
	Modal Logic [My Copy] (15 November 2002) by Patrick Blackburn, Maarten de Rijke, Yde Venema posted to modal-logic by kozima on 2008-10-05 09:13:19 as along with 3 people mperalta terumiyake shenshei
	Logics Without the Contraction Rule [My Copy] The Journal of Symbolic Logic, Vol. 50, No. 1. (1985), pp. 169-201. by Hiroakira Ono, Yuichi Komori posted to substructural-logic by kozima on 2008-10-05 06:59:52 as
	Modal companions of intermediate propositional logics [My Copy] Studia Logica, Vol. 51, No. 1. (1 March 1992), pp. 49-82. by Alexander Chagrov, Michael Zakharyashchev posted to modal-logic by kozima on 2008-09-29 03:11:21 as
	Intuitionistic modal logics as fragments of classical bimodal logics [My Copy] In Logic at Work (1997), pp. 168-186. by Frank Wolter, Michael Zakharyaschev posted to kripke-semantics modal-logic by kozima on 2008-09-24 08:33:04 as
	The ForSpec Temporal Logic: A New Temporal Property-Specification Language [My Copy] In TACAS '02: Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2002), pp. 296-211. by Roy Armoni, Limor Fix, Alon Flaisher, et al.Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela M. Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar posted to temporal-logic by kozima on 2008-09-24 08:25:56 as
	On the relation between intuitionistic and classical modal logics [My Copy] Algebra and Logic, Vol. 36 (1997), pp. 73-92. by Frank Wolter, Michael Zakharyaschev posted to kripke-semantics modal-logic by kozima on 2008-09-24 08:20:54 as
	A topological characterization of weakness [My Copy] In PODC '05: Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing (2005), pp. 1-8. by Cindy Eisner, Dana Fisman, John Havlicek posted to temporal-logic by kozima on 2008-09-09 08:04:03 as
	The temporal semantics of concurrent programs [My Copy] Theoretical Computer Science, Vol. 13, No. 1. (1981), pp. 45-60. by Amir Pnueli posted to temporal-logic by kozima on 2008-09-08 07:21:27 as
	Locus Solum: From the Rules of Logic to the Logic of Rules [My Copy] Computer Science Logic (2001), pp. 38-38. by Jean-Yves Girard posted to no-tag by kozima on 2008-07-01 10:06:25 as
	Modal logics for communicating systems [My Copy] Theor. Comput. Sci., Vol. 49, No. 2-3. (1987), pp. 311-347. by C. Stirling posted to modal-logic by kozima on 2008-05-29 12:34:32 as

Note: You may cite this page as: http://www.citeulike.org/user/kozima

Result page: 1 2 3 Next

modal-logic	57
lambda-calculi	18
category	16
temporal-logic	15
kripke-semantics	10
algebra	8
monads	4
programming	4
substructural-logic	4
uni-log	4
coalgebra	3
distributed-computation	3
parametricity	3
philosophy	3
poset	3
type-system	3
abstract-syntax	2
dependency	2
duality	2
linear-logic	2
many-valued-logic	2
complexity	1
game-semantics	1
hybrid-logic	1
quantification	1
survey	1

kozima's library 101 articles Export

kozima's tags