新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

dmitri83 modal-logic [28 articles]

最近 dmitri83 さんのライブラリに追加された論文の中から タグ modal-logic. You can also see everyone's modal-logic.
  • The modal logic of forcing
    (27 Sep 2005)
    by Joel D Hamkins, Benedikt Loewe
    posted to modal-logic by dmitri83 on 2008-03-12 15:17:45 as **
  • Canonical varieties with no canonical axiomatisation
    (2003)
    by I Hodkinson, Y Venema
    posted to modal-logic by dmitri83 on 2008-03-12 15:16:49 as **
  • An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
    (7 Nov 2007)
    by Pietro Abate, Rajeev Goré, Florian Widmann
    posted to modal-logic by dmitri83 on 2007-12-29 02:20:51 as **
  • The Modal Logic of the Countable Random Frame
    by Valentin Goranko, Bruce Kapron
    posted to modal-logic by dmitri83 on 2007-09-17 08:59:32 as ** along with 1 person archernikov
  • An automata theoretic decision procedure for the propositional mu-calculus
    Inf. Comput., Vol. 81, No. 3. (June 1989), pp. 249-264.
    by Robert S Streett, Allen E Emerson
    posted to modal-logic by dmitri83 on 2007-01-17 13:48:15 as **
  • Expressiveness of Metric modalities for continuous time
    (22 Nov 2006)
    by Yoram Hirshfeld, Alexander Rabinovich
    posted to modal-logic topology by dmitri83 on 2006-11-27 12:12:25 as ** along with 1 person scis0000001
  • Monotonic Modal Logics
    by Helle H Hansen
    posted to modal-logic neighborhood-semantics by dmitri83 on 2006-10-27 18:14:42 as ** along with 1 person scis0000001
  • The logic of ontic and epistemic change
    (15 Oct 2006)
    by HP van Ditmarsch, BP Kooi
    posted to knowledge modal-logic topology by dmitri83 on 2006-10-17 14:51:51 as ***
  • The logic of public announcements, common knowledge, and private suspicions
    (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 ***
  • First-order classical modal logic: applications in logics of knowledge and probability
    (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 ***
  • On the Geometry of Intuitionistic S4 Proofs
    No. LSV-01-8. (2001)
    by J Goubault-Larrecq, E Goubault
    posted to algebraic-topology modal-logic by dmitri83 on 2006-09-01 18:29:46 as ** along with 2 people jrw kozima
  • S4 is Topologically Complete for (0,1): a Short Proof
    Logic Journal of the IGPL, Vol. 14, No. 1. (15 January 2006), pp. 63-71.
    by Grigori Mints
    posted to modal-logic topology by dmitri83 on 2006-09-01 18:23:53 as ****
  • Knowledge Theoretic Properties of Topological Spaces
    (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
    (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
    (21 Jul 2000)
    by Konstantinos Georgatos
    posted to knowledge modal-logic by dmitri83 on 2006-08-22 15:03:27 as ****
  • First-Order Definability in Modal Logic.
    J. Symb. Log., Vol. 40, No. 1. (1975), pp. 35-40.
    by Robert Goldblatt
    posted to modal-logic by dmitri83 on 2006-04-19 13:05:30 as **
  • Products of modal logics. Part 2: relativised quantifiers in classical logic
    Logic Jnl IGPL, Vol. 8, No. 2. (1 March 2000), pp. 165-210.
    by Dm Gabbay, Vb Shehtman
    posted to modal-logic topology by dmitri83 on 2006-04-19 13:03:53 as **** along with 1 person kozima
  • Products of modal logics, part 1
    Logic Jnl IGPL, Vol. 6, No. 1. (1 January 1998), pp. 73-146.
    by Dm Gabbay, Vb Shehtman
    posted to modal-logic topology by dmitri83 on 2006-04-19 13:00:18 as **** along with 1 person kozima
  • Modal Logic and Classical Logic
    (1985)
    by van J Benthem
    posted to modal-logic by dmitri83 on 2006-04-03 15:31:37 as read
  • Modal Logic
    (2001)
    by P Blackburn, de M Rijke, Y Venema
    posted to modal-logic textbook by dmitri83 on 2006-04-03 15:31:37 as read
  • Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto
    Logic Journal of the IGPL, Vol. 8, No. 3. (2000), pp. 339-625.
    by P Blackburn
    posted to hybrid-logic modal-logic by dmitri83 on 2006-04-03 15:31:37 as read
  • Intentional and Higher-Order Modal Logic
    (1975)
    by Daniel Gallin
    posted to hol modal-logic by dmitri83 on 2006-04-03 15:31:37 as read
  • Types, tableaus, and Gödel's god
    Vol. 012 (2002)
    by Melvin Fitting
    posted to hol modal-logic by dmitri83 on 2006-04-03 15:31:37 as read
  • Modal Logic
    (1995)
    by A Chagrov, M Zakharyaschev
    posted to modal-logic textbook by dmitri83 on 2006-04-03 15:31:37 as read
  • Uniform Short Proofs for Classical Theorems
    Notre Dame Journal of Formal Logic, Vol. 42, No. 2. (2001), pp. 121-127.
    by Kees Doets
    posted to fo-logic modal-logic by dmitri83 on 2006-03-30 16:47:39 as **
  • A new proof of completeness of S4 with respect to the real line
    by Guram Bezhanishvili, Mai Gherke
    posted to modal-logic topology by dmitri83 on 2006-03-27 22:14:42 as read
  • Modal Logics of Space
    by Guram Bezhanishvili, Johan van Benthem
    posted to modal-logic topology by dmitri83 on 2006-03-27 18:06:29 as read along with 711 people and 131 groups 6rheology amydash dcastro boellernadja nafets sbaete steveut pathari alexispaz fghjorth tanneama000 MariaChiaraP ricckli iarmac laurabailey wolfe275 tkravitz pulsus-morbi Gaetan EsepBib jakobl ablam tbolt427 kungcc wartaalman austin Langster ezaydens Scis0000002 Axis jeanbean melody jsenn christiankissig psique scarcelan balicea danzinde gi0rgi0ne Stepstep abdulpur nlauzier mirweis christian_librarian skumagai nkishan squirmelia carterb Corbasson IanBrown malkav30 sarahmccrum gkvas freddan jago giolakat kndiaye gvandyk1 wongmld Neeperando duckysherwood yungyuc murb midshipman ranger vrich taenneken pdessus Repton nikko LTrottier mfloris hrwiltse scottkb ThomasKluge fernand0 dperkel egh jyuh 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 incites bigmagpie alicetiara yorgos johannsen cavlec smbrower viller jenmy mlzafron tymmail 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 mamadoudiao kaniko applebyb joni2am 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 jjray 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 dmboyer martint RalphPutnam atsu-kan hlwoodcock reta gogabr smmurphy rafabravo dabhishe JennaW hisashim cjones chuggins 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 lieselot 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 sjgaller 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 rodney portalqm bangb cdm jeanfou CareyNadell teh zwang shivakmr prerona michaelmampaey mick39 dagmar bellia akom kevin7 friveroll khm 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 yodha 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 cvq peefeeyatko kinestetika lynleypage truongducthang metaspencer dodger042 jpassoth krokicki tibbitts brianlimyl vogmae doylem hayko gjhuang ashko buggle bemike cvarnam umurthy21 andregermanoregert Katje tgyork ivanois toivotuo jnz snyder84 idonaldson dandaman awc Thaverkamp 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 Knowledge_Economy_Reform Global_patent_pools Social Informatics @ IU feminist_technoscience 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 MACLab 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 ParkinsonLab_at_MaRS 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 CAOS 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 Video based Animation for People
  • Reasoning About Space: The Modal Way
    J Logic Computation, Vol. 13, No. 6. (1 December 2003), pp. 889-920.
    by Marco Aiello, Johan van Benthem, Guram Bezhanishvili
    posted to modal-logic topology by dmitri83 on 2006-03-27 18:02:12 as read
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/dmitri83/tag/modal-logic

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.