NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 20 of 37 for “"modal logic"”.

  1. An essay in natural modal logic

    Apostoli, Peter J.University of British Columbia1992

    … orders are called comparison frames. Conditional logics of various comparative notions, for example, Lewis's V-logic of comparative possibility and utilitarian accounts of conditional obligation, model the dyadic modal operator > on comparison frames according to (what amounts to) the following …

    ubc Repository record

  2. Visualisation and manipulation tools for Modal logic

    Oliver, Martin JohnThe Open University1998

    … tools can provide better support for learners of Modal logic is described. Problems associated with learning Modal logic are also researched.<br></br><br></br>Seven areas topics in Modal logic are investigated, as is the influence of domain independent factors (e. g. motivation) on learning. …

    the-open-u Repository record

  3. A Six-Valued System of Modal Logic

    Krolikoski, Stanley JosephUniversity of Illinois at Urbana-Champaign2014

    Made available in DSpace on 2014-12-14T14:28:36Z (GMT). No. of bitstreams: 1 7726692.pdf: 7417305 bytes, checksum: cfcef869356fbba4d5769e40eb8693e3 (MD5) Previous issue date: 1977

    uiuc Repository record

  4. Modal Connectives and Intuitionistic Modal Logic With Respect to the Kripke Model

    Mccullough, Dean PaulUniversity of Illinois at Urbana-Champaign2014

    Made available in DSpace on 2014-12-09T22:17:56Z (GMT). No. of bitstreams: 1 7021015.pdf: 1596014 bytes, checksum: 4c98f745e4e5d3a3eea82e30e7652473 (MD5) Previous issue date: 1970

    uiuc Repository record

  5. On Solovay's Theorem and a Proof of Arithmetical Completeness of a New Predicate Modal Logic

    Hao, Yunge2021

    … As expanded below, ML3 is a first-order modal logic that along with its built-in ability to simulate general classical first-order provability having simulate the metamathematical classical is also arithmetically complete in the Solovay sense. We also carefully reconstruct the proof of …

    york Repository record

  6. A Constraint Logic Approach to Automated Modal Deduction

    Scherl, Richard BrianUniversity of Illinois at Urbana-Champaign2014

    … the construction of deductive systems that use modal logic is developed. Sentences in modal logic are translated into a constraint logic in which the constraints represent the accessibility relation in the possible world semantics for these logics. The translation procedure and the constraint …

    uiuc Repository record

  7. Frontiers of Conditional Logic

    Weiss, YaleThe Graduate School and University Center of The City University of New York2018

    <p>Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the …

    cuny-grad Repository record

  8. Modal and fixpoint linear logic.

    Martin, Alan J.University of Ottawa (Canada)2009

    … of the algebraic and relational semantics of modal logic to model J.-Y. Girard's linear logic extended with general modalities. This work extends the work of M. D'Agostino, D. Gabbay, and A. Russo on modalities in implication systems, which include a fragment of linear logic, and the work of …

    ottawa-retro Repository record

  9. Being a thing : an analysis of neccessitist metaphysics in first-order quantified modal logic : [a thesis presented in partial fulfilment of the requirements for the degree of Master of Arts in Philosophy at Massey University, New Zealand]

    Hawkins, Nathan2016

    massey

  10. Algebraic aspects of propositional logic

    Leisegang, NicholasDepartment of Mathematics and Applied Mathematics2024

    … between abstract algebra and propositional logic. We start by considering the category Bool of Boolean algebras, the algebraic counterpart of classical propositional logic. We provide an algebraic definition of theories and models of classical logic and provide algebraic algorithms to …

    cape-town Repository record

  11. A complete reified temporal logic and its applications

    Zhao, GuoxingUniversity of Greenwich2008

    … In particular, there are various ways to use logic formalisms for temporal knowledge representation and reasoning. Based on the chosen logic frameworks, temporal theories can be classified into modal logic approaches (including prepositional modal logic approaches and hybrid logic approaches) …

    greenwich Repository record

  12. The Modern Ontological Argument: in Which the Position of Alvin Plantinga Is Refuted

    Crownover, Zachary Green2019

    … rough outlines of positions commonly assumed by logically minded spokespersons for atheism and theism, respectively. Second, I introduce and explicate the work of Alvin Plantinga—a prominent proponent of theistic belief—and in such a way that it may be clearly understood even by those without …

    mississippi Repository record

  13. A logical typology for nominal compounds

    Modlin, Russell GarvinVirginia Tech1995

    … according to their status with regard to the logical properties of transitivity and symmetry. Employing theorems from modal logic, the categories of this logical typology assist in descriptively characterizing the semantics of nominal compounds by supporting inferences concerning the sharing …

    vt Repository record

  14. An Interactive Theorem Prover for First-Order Dynamic Logic

    Das, Tuhin KantiBrock University2012

    Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of …

    brock Repository record

  15. Modal and Relevance Logics for Qualitative Spatial Reasoning

    Ghosh, Pranab kumarBrock University2018

    … mereology. (b) the second aspect focuses on topological nature, i.e., whether they are in ”contact” without having a common part. Mereotopology is a mathematical theory that covers these two aspects. The theoretical aspect of this thesis is to use classical propositional logic with non-classical …

    brock Repository record

  16. Alternating Automata and the Temporal Logic of Ordinals

    Rohde, Gareth ScottUniversity of Illinois at Urbana-Champaign2015

    … of results about linear propositional temporal logic, a form of modal logic. First, we show that there is a natural interpretation of automaton inputs as structures for the logic and that under this interpretation, alternating automata and temporal logic are equally powerful. We then use this …

    uiuc Repository record

  17. Modal logics of provability

    Pemmaraju, Sriram V.Virginia Tech1989

    … predicate can be represented in such theories. Modal logics of provability are modal logics which attempt to express the concept of 'provability' and 'consistency' using the modal operators '[]' and '<>' respectively. This is achieved by forcing '[]' to behave like the provability predicate. GL …

    vt Repository record

  18. Logical representations for automated reasoning about spatial relationships

    Bennett, BrandonUniversity of Leeds1997

    This thesis investigates logical representations for describing and reasoning about spatial situations. Previously proposed theories of spatial regions are investigated in some detail - especially the 1st-order theory of Randell, Cui and Cohn (1992). The difficulty of achieving effective automated …

    whiterose Repository record

  19. Modality and facivity : One perspective on the meaning of the English modal auxiliaries

    Brewer, Nicola M.University of Leeds1987

    This study concentrates on modality as expressed by the set of modal auxiliaries and seeks to establish that these verbs share semantic as well as syntactic properties by identifying a single core meaning which they share. The relationship between modality and factivity is examined with the aim of …

    whiterose Repository record

  20. Narrative tactics for making other worlds possible

    Angles, Zachary (Zachary John)Massachusetts Institute of Technology2018

    … of view, using "possible worlds" theory and modal logic, which consider the ontological status of fictional worlds, the nature of their functioning, and their relationship with the actual world. These ideas have been combined with literary theory, setting the foundation for the study of …

    mit Repository record

Page 1 of 2