Results 1  10
of
176
Fresh Logic
 Journal of Applied Logic
, 2007
"... Abstract. The practice of firstorder logic is replete with metalevel concepts. Most notably there are metavariables ranging over formulae, variables, and terms, and properties of syntax such as alphaequivalence, captureavoiding substitution and assumptions about freshness of variables with resp ..."
Abstract

Cited by 219 (28 self)
 Add to MetaCart
Abstract. The practice of firstorder logic is replete with metalevel concepts. Most notably there are metavariables ranging over formulae, variables, and terms, and properties of syntax such as alphaequivalence, captureavoiding substitution and assumptions about freshness of variables with respect to metavariables. We present oneandahalfthorder logic, in which these concepts are made explicit. We exhibit both sequent and algebraic specifications of oneandahalfthorder logic derivability, show them equivalent, show that the derivations satisfy cutelimination, and prove correctness of an interpretation of firstorder logic within it. We discuss the technicalities in a wider context as a casestudy for nominal algebra, as a logic in its own right, as an algebraisation of logic, as an example of how other systems might be treated, and also as a theoretical foundation
Hybrid Logics: Characterization, Interpolation and Complexity
 Journal of Symbolic Logic
, 1999
"... Hybrid languages are expansions of propositional modal languages which can refer to (or even quantify over) worlds. The use of strong hybrid languages dates back to at least [Pri67], but recent work (for example [BS98, BT98a, BT99]) has focussed on a more constrained system called H(#; @). We sho ..."
Abstract

Cited by 109 (37 self)
 Add to MetaCart
(Show Context)
Hybrid languages are expansions of propositional modal languages which can refer to (or even quantify over) worlds. The use of strong hybrid languages dates back to at least [Pri67], but recent work (for example [BS98, BT98a, BT99]) has focussed on a more constrained system called H(#; @). We show in detail that H(#; @) is modally natural. We begin by studying its expressivity, and provide model theoretic characterizations (via a restricted notion of EhrenfeuchtFrasse game, and an enriched notion of bisimulation) and a syntactic characterization (in terms of bounded formulas). The key result to emerge is that H(#; @) corresponds to the fragment of rstorder logic which is invariant for generated submodels. We then show that H(#; @) enjoys (strong) interpolation, provide counterexamples for its nite variable fragments, and show that weak interpolation holds for the sublanguage H(@). Finally, we provide complexity results for H(@) and other fragments and variants, and sh...
'One is a Lonely Number': on the logic of communication
, 2002
"... Logic is not just about singleagent notions like reasoning, or zeroagent notions like truth, but also about communication between two or more people. What we tell and ask each other can be just as 'logical' as what we infer in Olympic solitude. We show how such interactive phenomena can ..."
Abstract

Cited by 72 (18 self)
 Add to MetaCart
Logic is not just about singleagent notions like reasoning, or zeroagent notions like truth, but also about communication between two or more people. What we tell and ask each other can be just as 'logical' as what we infer in Olympic solitude. We show how such interactive phenomena can be studied systematically by merging epistemic and dynamic logic.
Extensive games as process models
 Jolli
, 2001
"... Abstract. We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show how to fit existing modal notions into this new setting. ..."
Abstract

Cited by 50 (6 self)
 Add to MetaCart
Abstract. We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show how to fit existing modal notions into this new setting.
Dynamic Epistemic Logic
 Logic, Language, and Information 2, Stanford University, CSLI Publication
, 1997
"... This paper is the result of combining two traditions in formal logic: epistemic logic and dynamic semantics. Dynamic semantics is a branch of formal semantics that is concerned with ..."
Abstract

Cited by 43 (1 self)
 Add to MetaCart
This paper is the result of combining two traditions in formal logic: epistemic logic and dynamic semantics. Dynamic semantics is a branch of formal semantics that is concerned with
A modal walk through space
 JOURNAL OF APPLIED NONCLASSICAL LOGICS
, 2002
"... We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new finestructure in spatial patterns which suggests analogies across these mathematical theories in terms of modal, temporal, and ..."
Abstract

Cited by 40 (5 self)
 Add to MetaCart
We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new finestructure in spatial patterns which suggests analogies across these mathematical theories in terms of modal, temporal, and conditional logics. Throughout the modal walk through space, expressive power is analyzed in terms of language design, bisimulations, and correspondence phenomena. The result is both unification across the areas visited, and the uncovering of interesting new questions.
Rational Dynamics and Epistemic Logic in Games
, 2002
"... I propose a barebones look at epistemic models for games, with a focus on update procedures for reaching equilibrium 'zones'. Connections are given with standard update and fixedpoint logics. This is just a 'methods' paper, as readers will want to play with models, uncertainty r ..."
Abstract

Cited by 32 (5 self)
 Add to MetaCart
I propose a barebones look at epistemic models for games, with a focus on update procedures for reaching equilibrium 'zones'. Connections are given with standard update and fixedpoint logics. This is just a 'methods' paper, as readers will want to play with models, uncertainty relations, and announcements different from those used here for the purposes of illustration.
Complexity of Modal Logics of Relations
, 1997
"... We consider two families of modal logics of relations: arrow logic and cylindric modal logic and several natural expansions of these, interpreted on a range of (relativised) modelclasses. We give a systematic study of the complexity of the validity problem of these logics, obtaining price tags for ..."
Abstract

Cited by 26 (9 self)
 Add to MetaCart
We consider two families of modal logics of relations: arrow logic and cylindric modal logic and several natural expansions of these, interpreted on a range of (relativised) modelclasses. We give a systematic study of the complexity of the validity problem of these logics, obtaining price tags for various features as assumptions on the universe of the models, similarity types, and number of variables involved. The general picture is that the process of relativisation turns an undecidable logic into one whose validity problem is exptimecomplete. There are interesting deviations to this though, which we also discuss. The numerous results in this paper are all directed to obtain a better understanding why relativisation can turn an undecidable modal logic of relations into a decidable one. We connect the semantic way of "taming logic" by relativisation with the syntactic approach of isolating decidable socalled guarded fragments by showing that validity of loosely guarded formulas is p...
Epistemic logic and information update
 In P. Adriaans
, 2008
"... Epistemic logic investigates what agents know or believe about certain factual descriptions of the world, and about each other. It builds on a model of what information is (statically) available in a given system, and isolates general principles concerning knowledge and belief. The information in a ..."
Abstract

Cited by 25 (4 self)
 Add to MetaCart
(Show Context)
Epistemic logic investigates what agents know or believe about certain factual descriptions of the world, and about each other. It builds on a model of what information is (statically) available in a given system, and isolates general principles concerning knowledge and belief. The information in a system may well change as a result of various changes: events from the outside, observations by the agents, communication between the agents, etc. This requires information updates. These have been investigated in computer science via interpreted systems; in philosophy and in artificial intelligence their study leads to the area of belief revision. A more recent development is called dynamic epistemic logic. Dynamic epistemic logic is an extension of epistemic logic with dynamic modal operators for belief change (i.e., information update). It is the focus of our contribution, but its relation to other ways to model dynamics will also be discussed in some detail. Situating the chapter This chapter works under the assumption that knowledge is a variety of true justifiable belief. The suggestion that knowledge is nothing but true justified belief is very old in philosophy, going back to Plato if not further. The picture is that we are faced with alternative “worlds”, including perhaps our own world but in addition other