Suggested Topics within your search.
Showing 61 - 80 results of 397 for search '"modal logic"', query time: 2.37s Refine Results
  1. 61
    Contraction-free calculi for modal logics S5 and KD45
    Subjects: “...modal logic...”
    Get full text
    Article
  2. 62
    Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
    by Z. Diskin, A. Safilian, T. Maibaum, S. Ben-David
    Published 2016-06-01
    “... for modal logic) such that any ppKS satisfying the theory is equal to the partial product line determined...”
    Get full text
    Article
  3. 63
    Term-modal logic and quantifier-free dynamic assignment logic
    by Thalmann, Lars
    Published 2000
    “... called term-modal logics. A mainfeature of our logics is the use of modal operators indexed by theterms...”
    Get full text
    Get full text
    Doctoral Thesis
  4. 64
    Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics
    by Lorenz Demey
    Published 2021-06-01
    Subjects: “...non-normal modal logic...”
    Get full text
    Article
  5. 65
    Using modal logic proofs to test implementation-specification relations
    by Paxton, Alan
    Published 2000
    Get full text
  6. 66
    [en] FIRST-ORDER MODAL LOGIC FOR REASONING ABOUT GAMES
    by DAVI ROMERO DE VASCONCELOS
    Published 2007
    Subjects: “...[en] FIRST-ORDER MODAL LOGIC...”
    Get full text
    Get full text
    Get full text
  7. 67
    Cut-free sequent and tableau systems for propositional normal modal logics
    by Gore, Rajeev
    Published 1991
    Get full text
  8. 68
    Scientific Models and Games of Make-Believe: A Modal-Logical Perspective
    by Gallais Matthieu
    Published 2016-12-01
    Get full text
    Article
  9. 69
    A modal logic for handling behavioural constraints in formal hardware verification
    by Mendler, M.
    Published 1992
    Get full text
  10. 70
    Automated reasoning for modal logics : a natural deduction based approach
    Get full text
  11. 71
    The Extension of Bisimulation Quantified Modal Logic Based on Covariant-Contravariant Refinement
    by Huili Xing
    Published 2019-01-01
    Subjects: “...modal logic...”
    Get full text
    Article
  12. 72
    Refinement Modal Logic Based on Finite Approximation of Covariant-Contravariant Refinement
    by Huili Xing
    Published 2019-01-01
    Subjects: “...modal logic...”
    Get full text
    Article
  13. 73
    Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
    by Paolo Baldi, Petr Cintula, Carles Noguera
    Published 2020-07-01
    Subjects: “...Two-layered modal logics...”
    Get full text
    Article
  14. 74
    Partial cut elimination for combinations of propositional multi-modal logics with past time
    by Jūratė Sakalauskaitė
    Published 2011-12-01
    Subjects: “...modal logic...”
    Get full text
    Article
  15. 75
    Independence-Friendly Modal Logic. Studies in its Expressive Power and Theoretical Relevance.
    by Tulenheimo, Tero
    Published 2004
    “...The doctoral dissertation introduces independence-friendly (IF) modal logic as an extension...”
    Get full text
    Get full text
  16. 76
    Applications of finite model theory : optimisation problems, hybrid modal logics and games
    by Gate, James Simon
    Published 2013
    “... is the relative expressiveness of various fragments of an extension of modal logic called hybrid modal logic...”
    Get full text
  17. 77
    Intention is commitment with expectation
    by Creel, James Silas
    Published 2005
    Subjects: “...modal logic...”
    Get full text
    Others
  18. 78
    Uniting Normal and Non-Normal Modal Logics by One Axiomatic System of Philosophical Epistemology
    by V.O. Lobovikov
    Published 2017-08-01
    Subjects: “...normal-modal-logic; non-normal-modal-logic; a-priori-knowledge; a-posteriori-knowledge; universal...”
    Get full text
    Article
  19. 79
    Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
    by Xiaodong Pan, Yang Xu
    Published 2015-12-01
    Subjects: “...Propositional fuzzy modal logic...”
    Get full text
    Article
  20. 80
    Non-normal modal logics, quantification, and deontic dilemmas. A study in multi-relational semantics
    by Calardo, Erica <1980>
    Published 2013
    “... for the more theoretical field of Modal Logic itself, as we propose a syntactical, and semantic study...”
    Get full text
    Doctoral Thesis
Search Tools: Get RSS Feed — Email this Search