-
Logic-based preference representation languages are promising
for expressing preferences over combinatorial domains.
Sets of weighted formulas, called goalbases, can be used to
define several such languages. How goalbases are translated
into utility functions---that is, by what aggregation functi...
-
There are two reasons why medieval logic is of interest to modern
logician: One is to see how similar it is to modern logic and the
other is to see how different it is. We study three 13th-century works
on modal logic and give two examples their views of modal logic differ
from modern views of th...
-
Consider any logical system, what is its natural repertoire of
logical operations? This question has been raised in particular
for first-order logic and its extensions with generalized
quantifiers, and various characterizations in terms of
semantic invariance have been proposed. In this paper...
-
The first two authors proposed a simple algorithm for analyzing
stories in terms of belief states. In this paper, we use this
algorithm to analyse actual stories from a commercial TV crime series,
and identify a small number of building blocks sufficient to construct
the doxastic game structure o...
-
In this paper we study IL(PRA), the interpretability logic of PRA. As
PRA is neither an essentially reflexive theory nor finitely
axiomatizable, the two known arithmetical completeness results do not
apply to PRA: IL(PRA) is not ILM or ILP. IL(PRA) does of course
contain all the principles known ...
-
This position paper was invited by the "Australasian Journal
of Logic". We compare and contrast logical pluralism viewed
as a broad study of consequence relations with logical dynamics
as the 'coming out' of informational processes in explicit
dynamic logics. We prove some results and raise n...
-
We relate dynamic logics constructing new doxastic models
as results of belief revision with doxastic temporal logics
which describe changing beliefs over branching time models.
Results include a representation theorem as well as modal
definability results through frame correspondences. This
w...
-
We define new dynamic epistemic models with an added notion
of 'protocol' describing the current informational process,
which may reflect conversation, observation, or experiment.
This adds a new concept of 'procedural information' to
the factual and multi-agent information already handled
by dy...
-
There are many different notions of information in logic,
including observation-based range views, situation-theoretic
correlation views, and more syntactic inferential views of
what flows when we perform logical tasks. This paper shows
how the latter type of more fine-grained information can
be ...
-
Issues about information spring up wherever one scratches the surface of logic. Here is a case that raises delicate issues of ‘factual’ versus ‘procedural’ information, or ‘statics’ versus ‘dynamics’. What does *intuitionistic logic*, perhaps the earliest source of informational and procedural th...
-
This paper presents a novel theory of concealed questions (CQs). The
theory is the first to provide a unified and principled account of
definite, indefinite, and quantified CQs and CCQs (CQ-containing
CQs). It also explains Greenberg's (1977) observation and some related
facts.