Sciweavers

    54 search results - page 2 / 11
    » Complexity of Hybrid Logics over Transitive Frames
    Sort
    View
    ENTCS
    2006
    117views more  ENTCS 2006»
    Monadic Second-Order Logic and Transitive Closure Logics over Trees
    13 years 5 months ago
    Monadic Second-Order Logic and Transitive Closure Logics over Trees
    Download  tcl.sfs.uni-tuebingen.de
    Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural languages by defining their derivation trees in suitable logical for...
    Hans-Jörg Tiede, Stephan Kepser
    claim paper
    Read More »
    LICS
    2005
    IEEE
    127views Automated Reasoning» more  LICS 2005»
    Modal Characterisation Theorems over Special Classes of Frames
    13 years 10 months ago
    Modal Characterisation Theorems over Special Classes of Frames
    Download  www.cl.cam.ac.uk
    We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
    Anuj Dawar, Martin Otto
    claim paper
    Read More »
    ENTCS
    2007
    135views more  ENTCS 2007»
    Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
    13 years 5 months ago
    Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
    Download  symbolaris.com
    We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
    André Platzer
    claim paper
    Read More »
    IJCAI
    2003
    144views Artificial Intelligence» more  IJCAI 2003»
    On the Undecidability of Description and Dynamic Logics with Recursion and Counting
    13 years 6 months ago
    On the Undecidability of Description and Dynamic Logics with Recursion and Counting
    Download  dli.iiit.ac.in
    The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar­ chy of decidable logics with multiple maximal el­ ements. It would be desirable to ...
    Piero A. Bonatti
    claim paper
    Read More »
    HICSS
    2009
    IEEE
    135views Biometrics» more  HICSS 2009»
    Building Leadership for Life Cycle Business Transition by Hybrid Innovation
    14 years 2 days ago
    Building Leadership for Life Cycle Business Transition by Hybrid Innovation
    Download  cisedu.us
    Manufacturing companies that are expanding their product offering to cover also lifecycle services in the customers’ facilities are facing the increasing complexity and risk to ...
    Vesa Salminen
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.