Search Results - LOGICAL MODELS

Refine Results
  1. 1
  2. 2

    Classical Logic and Quantum Logic with Multiple and Common Lattice Models by Mladen Pavičić

    Published in Advances in Mathematical Physics (2016-01-01)
    “…We consider a proper propositional quantum logic and show that it has multiple disjoint lattice models, only one of which is an orthomodular lattice (algebra) underlying Hilbert (quantum) space. …”
    Get full text
    Article
  3. 3
  4. 4
  5. 5
  6. 6

    Logic Model Basics by Glenn D. Israel

    Published in EDIS (2010-11-01)
    “…Israel, explains what logic models are and provides steps for creating a basic logic model. …”
    Get full text
    Article
  7. 7
  8. 8
  9. 9

    Hospital at home (virtual wards): developing a logic model and dark logic model by Faiza Yahya, Matthew Cooper, Hamde Nazar

    Published in BMC Health Services Research (2025-05-01)
    “…Results A draft logic model was developed from document analysis describing key components of the logic model and dark logic models. …”
    Get full text
    Article
  10. 10
  11. 11

    A Spatial Logic for Simplicial Models by Michele Loreti, Michela Quadrini

    Published in Logical Methods in Computer Science (2023-07-01)
    “…We discuss how the satisfaction of logical formulas can be verified by a correct and complete model checking algorithm, which is linear to the dimension of the simplicial complex and logical formula. …”
    Get full text
    Article
  12. 12
  13. 13

    A logical model of HCP by Anatoly D. Plotnikov

    “…For an arbitrary undirected graph G, we are designing a logical model for the Hamiltonian Cycle Problem (HCP), using tools of Boolean algebra only. …”
    Get full text
    Article
  14. 14

    Model theory and foundations of logic by Pavel Arazim

    “…Of particular importance will be its connection to the problem of logical constants. Identifying logical constatnts enables us to identify logical forms of statements and thus brings us close to demarcating logic. …”
    Get full text
    Article
  15. 15

    Validation of logical models for the management of tuberculosis treatment by Shirley Ribeiro dos Santos Linhares, Elisabete Pimenta Araújo Paz, Gisela Cordeiro Pereira Cardoso

    Published in Revista Brasileira de Enfermagem (2020-12-01)
    “…ABSTRACT Objectives: to describe the steps of validation of the logical models of the Directly Observed Treatment and the Information System of the Directly Observed Treatment Short-Course Strategy. …”
    Get full text
    Article
  16. 16
  17. 17
  18. 18
  19. 19

    Human-Guided Learning for Probabilistic Logic Models by Phillip Odom, Sriraam Natarajan

    Published in Frontiers in Robotics and AI (2018-06-01)
    “…We hypothesize and demonstrate that probabilistic logic can provide an effective and natural way for the expert to specify domain advice. …”
    Get full text
    Article
  20. 20

    Almost Existentially Closed Models in Positive Logic by Mohammed Belkasmi

    “…This paper explores the concept of almost positively closed models in the framework of positive logic. To accomplish this, we initially define various forms of the positive amalgamation property, such as h-amalgamation and symmetric and asymmetric amalgamation properties. …”
    Get full text
    Article

Search Tools: