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 42 for “"Modal Logic"”.
-
An essay in natural modal logic
… 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 …
-
Visualisation and manipulation tools for Modal logic
… 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. …
-
A Six-Valued System of Modal Logic
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
-
Modal Connectives and Intuitionistic Modal Logic With Respect to the Kripke Model
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
-
On Solovay's Theorem and a Proof of Arithmetical Completeness of a New Predicate Modal Logic
… 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 …
-
A Constraint Logic Approach to Automated Modal Deduction
… 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 …
-
Frontiers of Conditional Logic
<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 …
-
Modal and fixpoint linear logic.
… 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 …
-
Pure and applied fixed point logics
Fixed-point logics are logics with an explicit operator for forming fixed points of definable mappings. They are particularly well suited for modelling recursion in logical languages and consequently they have found applications in various areas of theoretical computer science such as database …
-
Algebraic aspects of propositional logic
… 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 …
-
A complete reified temporal logic and its applications
… 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) …
-
On games and logics over dynamically changing structures
… classical framework of graph algorithms, program logics, and corresponding model checking games, one considers changes of system states and movements of agents within a system, but the underlying graph or structure is assumed to be static. This limitation motivates a more general approach where …
-
The Modern Ontological Argument: in Which the Position of Alvin Plantinga Is Refuted
… 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 …
-
A logical typology for nominal compounds
… 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 …
-
An Interactive Theorem Prover for First-Order Dynamic Logic
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 …
-
Guarded logics : algorithms and bisimulation
For many practical applications of logic-based methods there is a requirement to balance expressive power against computational tractability. Both identifying decidable sub-classes of first-order logic, and extending modal logic to larger, but nevertheless efficiently solvable languages has been a …
-
Modal and Relevance Logics for Qualitative Spatial Reasoning
… 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 …
-
On Games on Non-Wellfounded Sets and Stationary Sets
… out to be an important tool in mathematical logic ranging from semantic games defining the truth of a sentence in a given logic to for example games on real numbers whose determinacies have important effects on the consistency of certain large cardinal assumptions. The equality of …
Page 1 of 3