-
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.
-
This paper gives a survey of expressivity and complexity of normal
modal logics for reasoning about cooperation and preferences. We
identify a class of notions expressing local and global properties
rel- evant for reasoning about cooperative situations involving agents
that have preferences. Many...
-
The concepts of cooperation actions and preferences play central roles
in situations in which agents interact with each other. In many cases,
agents cooperate and act together as groups because as a group they
can achieve something better than they could individually. If we want
to make explicit...