-
Algebraizing Hybrid Logic
Evangelos Tzanis
Abstract:
Hybrid logic is the result of extending the basic modal language with
a second sort of atomic propositions called nominals, and with
satisfaction operators. Precisely, the nominals (denoted by i, j, ...)
behave similar to ordinary proposition...
-
Pseudo-imperatives are compound sentences where an imperative sentence
is followed by 'and' or 'or' and a declarative
sentence. Schematically, pseudo-imperatives are of the form:
an imperative I + 'and' | 'or' + a declarative sentence D
Following Schwager's (2004) terminology, I will refer to...
-
This thesis is divided into two parts. Each part explores a particular
logical perspective on distributed information and its dynamics.
The first part takes the perspective of epistemic and dynamic
epistemic logic. We first explain why distributed knowledge does not
always comply with the princip...
-
Universal Grammar (UG) is characterized by the assumption that all
human languages share a common structure with respect to their
linguistic well-formedness conditions. In Optimality Theory (OT) this
structure is represented by a set of linguistic candidate forms, a set
of constraints and the def...
-
-
We design and implement a system for making derivations in physics and
engineering, by reusing knowledge from previous derivations. Many
intermediate results found in physics and engineering derivations do not
follow formally from the laws and antecedent conditions about the system,
and according...
-
-
This thesis is two fold. The first part deals with an existence proof
of a formal algorithm that takes a narrative discourse and returns its
semantic repre sentation in the Event Calculus (EC from now on). This
algorithm uses Discourse Representation Theory, and takes on the form
of a translation...
-
Keywords:
-
This thesis is about set theory without the axiom of choice. The
theory of ordinals and their powersets without the axiom of choice is
not a popular subject in set theoretic practise; in this thesis, we
will shed a little light on some basic questions in this area.
Our basic theory is ZF, unless...
-
Although commercial search engine companies have reported a great deal
of success in appropriating link-based methods, these methods have
struggled to demonstrate significant performance improvements over
content-only retrieval methods in several off-line Web IR
evaluations. In this thesis the ef...