Suggested Topics within your search.
Showing 41 - 60 results of 397 for search '"modal logic"', query time: 1.68s Refine Results
  1. 41
    Two-dimensional modal logics with difference relations
    by Hampson, Christopher Samuel
    Published 2016
    “...-dimensional modal logics that exhibit some modest capacity to count. In particular, we consider modal products...”
    Get full text
  2. 42
    A decision and minimization procedure for modal logic
    by Boyer, Wanda B. K.
    Published 2016
    Subjects: “...modal logic...”
    Get full text
  3. 43
    Algorithmic properties of modal logics with restricted languages
    by Rybakov, Mikhail
    Published 2019
    “..., in fulfillment of the requirements for the degree of Doctor of Philosophy May 2019 === Modal logics, both...”
    Get full text
    Others
  4. 44
    Semantics for Quantified Modal Logic: Counterparts vs. Intensions
    by Chi-Her Yang, 楊濟鶴
    Published 2019
    “... logic and quantified modal logic. We discuss the syntax and the semantics of quantified modal logic...”
    Get full text
    Others
  5. 45
    New Modification of the Subformula Property for a Modal Logic
    by Mitio Takano
    Published 2020-11-01
    Subjects: “...modal logic...”
    Get full text
    Article
  6. 46
    A method of marks and indices for linear modal logic
    Subjects: “...modal logics...”
    Get full text
    Article
  7. 47
    From Hybrid Modal Logic to Matching Logic and Back
    “...Building on our previous work on hybrid polyadic modal logic we identify modal logic equivalents...”
    Get full text
    Article
  8. 48
    On the Expressive Power of Sub-Propositional Fragments of Modal Logic
    “...Modal logic is a paradigm for several useful and applicable formal systems in computer science...”
    Get full text
    Article
  9. 49
    A New Game Equivalence and its Modal Logic
    Get full text
    Article
  10. 50
    Systematic Verification of the Modal Logic Cube in Isabelle/HOL
    “...We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which...”
    Get full text
    Article
  11. 51
    Satisfiability vs. Finite Satisfiability in Elementary Modal Logics
    by Jakub Michaliszyn, Jan Otop, Piotr Witkowski
    Published 2012-10-01
    “...We study elementary modal logics, i.e. modal logic considered over first-order definable classes...”
    Get full text
    Article
  12. 52
    BDD-based decision procedures for modal logic K
    by Pan, Guoqiang
    Published 2009
    Get full text
    Others
  13. 53
    Topological semantics and two-dimensional combinations of modal logics
    by Gabelaia, David
    Published 2005
    Get full text
  14. 54
    Modal Logic - a Tool for Design Process Formalisation
    by I. Jelínek
    Published 2003-01-01
    Subjects: “...modal logic...”
    Get full text
    Article
  15. 55
    A many-dimensional approach to simulations in modal logic
    Subjects: “...Modal logic...”
    Get full text
    Others
  16. 56
    Admissible Inference Rules and Semantic Property of Modal Logics
    by V.V. Rimatskiy
    Published 2021-09-01
    Subjects: “...modal logic...”
    Get full text
    Article
  17. 57
    On the Static Analysis for SPARQL Queries using Modal Logic
    by Guido, Nicola
    Published 2015
    “..., hence we encode it in a graph logic, specifically the modal logic K interpreted over label transition...”
    Get full text
  18. 58
    FIRST-ORDER MODAL LOGIC FOR REASONING ABOUT GAMES
    by DAVI ROMERO DE VASCONCELOS
    Published 2007
    “... Theory and Game Logics. We present a first-order modal logic based on CTL, namely Game Analysis Logic...”
    Get full text
    Get full text
  19. 59
    Philosophical Issues from Kripke’s ‘Semantical Considerations on Modal Logic’
    by John Divers
    Published 2016-09-01
    “...In ‘Semantical Considerations on Modal Logic’, Kripke articulates his project in the discourse...”
    Get full text
    Article
  20. 60
    Loop-free sequent calculus for modal logic K4
    by Julius Andirkonis
    Published 2009-12-01
    “... In the article, a loop-free calculus for modal logic K4 is presented. The calculus is based...”
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search