Conceived by Johan van Benthem and Yde Venema, arrow logic started as an attempt to give a general account of the logic of transitions. The generality of the approach provided a wide application area ranging from philosophy to computer science. The book gives a comprehensive survey of logical research within and around arrow logic. Since the natural operations on transitions include composition, inverse and identity, their logic, arrow logic can be studied from two different perspectives, (...) and by two (complementary) methodologies: modal logic and the algebra of relations. Some of the results in this volume can be interpreted as price tags. They show what the prices of desirable properties, such as decidability, (finite) axiomatisability, Craig interpolation property, Beth definability etc. are in terms of semantic properties of the logic. The research program of arrow logic has considerably broadened in the last couple of years and recently also covers the enterprise to explore the border between decidable and undecidable versions of other applied logics. The content of this volume reflects this broadening. The editors included a number of papers which are in the spirit of this generalised research program. (shrink)

The paper aims at providing the multi-modal propositional logic LTK with a sound and complete axiomatisation. This logic combines temporal and epistemic operators and focuses on m odeling the behaviour of a set of agents operating in a system on the background of a temporal framework. Time is represented as linear and discrete, whereas knowledge is modeled as an S5-like modality. A further modal operator intended to represent environment knowledge is added to the system in (...) order to achieve the expressive power sufficient to describe the piece of information available to the agents at each moment in the flow of time. (shrink)

ABSTRACT The two main directions pursued in the present paper are the following. The first direction was started by Pigozzi in 1969. In [Mak 91] and [Mak 79] Maksimova proved that a normal modal logic has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property. In this paper we extend Maksimova's theorem to normal multi-modal logics with arbitrarily many, not necessarily unary modalities, and to not necessarily normal multi-modal logics (...) with modalities of ranks smaller than 2. To extend the characterization beyond multi-modal logics, we look at arbitrary algebraizable logics. We will introduce an algebraic property equivalent with the Craig interpolation property in algebraizable logics, and prove that the superamalgamation property implies the Craig interpolation property. The problem of extending the characterization result to non-normal non-unary modal logics also will be discussed. In the second direction pursued herein: for non-normal modal logic with one unary modality Lemmon [Lem 66] gave a possible worlds semantics. Here we give a more general possible worlds semantics for not necessarily normal multi-modal logics with arbitrarily many not necessarily unary modalities. Strongly related to the above is the theorem, proved, e.g., in Jóns son-Tarski [JT 52] and Henkin-Monk-Tarski [HMT 71], that every normal Boolean algebra with operators can be represented as a subalgebra of the complex algebra of some relational structure. We extend this result to not necessarily normal BAO's as follows. We define partial relational structures and show that every not necessarily normal BAO is embeddable into the complex algebra of a partial relational structure. This gives a possible worlds semantics for not necessarily normal multi-modal logics. (shrink)

My essay, “Multi-modal argumentation” was published in the journal, _Philosophy of the Social Sciences,_ in 1994. This information appeared again in my book, _Coalescent argumentation_ in 1997. In the ensuing twenty years, there have been many changes in argumentation theory, and I would like to take this opportunity to examine my now middle-aged theory in light of the developments in our discipline. I will begin by relating how a once keen intended lawyer and then formal logician ended up (...) in argumentation theory. (If you do not care to read this bit of autobiography, skip to Section 2). (shrink)

Fix 2 < n < ω and let C A n denote the class of cylindric algebras of dimension n. Roughly, C A n is the algebraic counterpart of the proof theory of first-order logic restricted to the first n var...

Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi ...

We show that every modal logic (with arbitrary many modalities of arbitrary arity) can be seen as a multi-dimensional modal logic in the sense of Venema. This result shows that we can give every modal logic a uniform "concrete" semantics, as advocated by Henkin et al. This can also be obtained using the unravelling method described by de Rijke. The advantage of our construction is that the obtained class of frames is easily seen (...) to be elementary and that the worlds have a more uniform character. (shrink)

My essay, “Multi-modal argumentation” was published in the journal, _Philosophy of the Social Sciences,_ in 1994. This information appeared again in my book, _Coalescent argumentation_ in 1997. In the ensuing twenty years, there have been many changes in argumentation theory, and I would like to take this opportunity to examine my now middle-aged theory in light of the developments in our discipline. I will begin by relating how a once keen intended lawyer and then formal logician ended up (...) in argumentation theory. (If you do not care to read this bit of autobiography, skip to Section 2). (shrink)

My essay, “Multi-modal argumentation” was published in the journal, _Philosophy of the Social Sciences,_ in 1994. This information appeared again in my book, _Coalescent argumentation_ in 1997. In the ensuing twenty years, there have been many changes in argumentation theory, and I would like to take this opportunity to examine my now middle-aged theory in light of the developments in our discipline. I will begin by relating how a once keen intended lawyer and then formal logician ended up (...) in argumentation theory. (If you do not care to read this bit of autobiography, skip to Section 2). (shrink)

The main stream of formal and informal logic as well as more recent work in discourse analysis provides a way of understanding certain arguments that particularly lend themselves to rational analysis. I argue, however, that these, and allied modes of analysis, be seen as heuristic models and not as the only proper mode of argument. This article introduces three other modes of argumen tation that emphasize distinct aspects of human communication, but that, at the same time, must be considered (...) for the full understanding of argumentation. These modes are (1) the emotional, which relates to the realm of feelings, (2) the visceral, which stems from the area of the physical, and (3) the kisceral, which covers the intuitive and non-sensory arenas. At its most extreme the view holds that arguments may be given (almost) wholly within one mode and not be at all susceptible to those methods of argument analysis previously used. A more cautious statement allows that any interactive argument will (possibly) contain elements from various modes, and that to attempt to reduce these all to the rational is prejudiced reductionism. (shrink)

We define a multi-modal version of Computation Tree Logic ( ctl ) by extending the language with path quantifiers E δ and A δ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension (...) in turn. We also show that the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for ctl. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional ctl logic. (shrink)

We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E δ and A δ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. (...) We also show that the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for ctl. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional ctl logic. (shrink)

We define a multi-modal version of Computation Tree Logic (CTL) by extending the language with path quantifiers $E^\delta $ and $E^\delta $ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a CTL axiomatisation for each dimension. Completeness is proved by employing the completeness result for CTL to obtain a model along each dimension in turn. (...) We also show that the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for CTL. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional CTL logic. (shrink)

In this paper I question the primacy of argumentation relying solely on logic by showing how the body and mind are deeply connected and as a result how communication and argumentation are a product of this mind/body connection. In particular, I explore the physicality of argumentation through the research and writings on gestures and the embodied mind. Michael Gilbert’s theory of multi-modal argumentation provides the general approach for this elaboration.

Charles Peirce incorporates modality into his Existential Graphs by introducing the broken cut for possible falsity. Although it can be adapted to various modern modal logics, Zeman demonstrates that making no other changes results in a version that he calls Gamma-MR, an implementation of Jan Łukasiewicz's four-valued Ł-modal system. It disallows the assertion of necessity, reflecting a denial of determinism, and has theorems involving possibility that seem counterintuitive at first glance. However, the latter is a misconception that arises (...) from overlooking the distinction between the intermediate truth values that are assigned to possibly true propositions as either X-contingent or Y-contingent. Any two propositions having the same ITV are possible together, while any two propositions having different ITVs, including those that are each other's negation, are possible individually yet not possible together. Porte shows that Ł-modal can be translated into classical logic by defining a constant for each ITV such that its implication of another proposition asserts the latter's possibility, while its conjunction with another proposition asserts the latter's necessity. These are expressed in the Alpha part of EG without broken cuts, simplifying derivations and shedding further light on Łukasiewicz's system, as long as graphs including either of the constants are properly interpreted. Ł-modal and Gamma-MR thus capture the two-sided nature of possibility as the limit between truth and falsity in Peirce's triadic conception. (shrink)

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects. (...) To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery. We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics - fusions and products of modal logics, fragments of first-order modal and temporal logics - focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multi-agent systems, modalized description logics for dynamic ontologies, and spatio-temporal logics. The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources. The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well. Key Features: Integrated approach to modern modal and temporal logics and their applications in artificial intelligence and computer science Written by internationally leading researchers in the field of pure and applied logic Combines mathematical theory of modal logic and applications in artificial intelligence and computer science Numerous open problems for further research Well illustrated with pictures and tables. (shrink)

We study the modal logic M L r of the countable random frame, which is contained in and `approximates' the modal logic of almost sure frame validity, i.e. the logic of those modal principles which are valid with asymptotic probability 1 in a randomly chosen finite frame. We give a sound and complete axiomatization of M L r and show that it is not finitely axiomatizable. Then we describe the finite frames of that (...) class='Hi'>logic and show that it has the finite frame property and its satisfiability problem is in EXPTIME. All these results easily extend to temporal and other multi-modal logics. Finally, we show that there are modal formulas which are almost surely valid in the finite, yet fail in the countable random frame, and hence do not follow from the extension axioms. Therefore the analog of Fagin's transfer theorem for almost sure validity in first-order logic fails for modal logic. (shrink)

This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time. We proved a finite model property and projective unification for this logic.

A number of significant contributions in the last four decades show that non-normal modal logics can be fruitfully employed in several applied fields. Well-known domains are epistemic logic, deontic logic, and systems capturing different aspects of action and agency such as the modal logic of agency, concurrent propositional dynamic logic, game logic, and coalition logic. Semantics for such logics are traditionally based on neighbourhood models. However, other model-theoretic semantics can be used for (...) this purpose. Here, we systematically study multi-relational structures, whose investigation is still relatively underdeveloped. After a brief introduction to two different versions of multi-relational semantics – which we call strong and weak multi-relational semantics – we proceed to study several modal schemata. Special attention is paid to the schemata CON and D. Finally we offer completeness proofs for several systems using both strong and weak semantic tools: The proofs thus cover both classical system.. (shrink)

We consider the problem of axiomatizing various natural "successor" logics for 2-dimensional integral spacetime. We provide axiomatizations in monomodal and multimodal languages, and prove completeness theorems. We also establish that the irreflexive successor logic in the "standard" modal language (i.e. the language containing □ and ◊) is not finitely axiomatizable.

Many powerful logics exist today for reasoning about multi-agent systems, but in most of these it is hard to reason about an infinite or indeterminate number of agents. Also the naming schemes used in the logics often lack expressiveness to name agents in an intuitive way.To obtain a more expressive language for multi-agent reasoning and a better naming scheme for agents, we introduce a family of logics called term-modal logics. A main feature of our logics is the (...) use of modal operators indexed by the terms of the logics. Thus, one can quantify over variables occurring in modal operators. In term-modal logics agents can be represented by terms, and knowledge of agents is expressed with formulas within the scope of modal operators. (shrink)

We present three examples of topological semantics for intuitionistic modal logic with one modal operator □. We show that it is possible to treat neighborhood models, introduced earlier, as topological or multi-topological. From the neighborhood point of view, our method is based on differences between properties of minimal and maximal neighborhoods. Also we propose transformation of multitopological spaces into the neighborhood structures.

We discuss a `negative' way of defining frame classes in (multi)modal logic, and address the question of whether these classes can be axiomatized by derivation rules, the `non-ξ rules', styled after Gabbay's Irreflexivity Rule. The main result of this paper is a metatheorem on completeness, of the following kind: If Λ is a derivation system having a set of axioms that are special Sahlqvist formulas and Λ+ is the extension of Λ with a set of non-ξ rules, (...) then Λ+ is strongly sound and complete with respect to the class of frames determined by the axioms and the rules. (shrink)

We study prefixed tableaux for first-order multi-modal logic, providing proofs for soundness and completeness theorems, a Herbrand theorem on deductions describing the use of Herbrand or Skolem terms in place of parameters in proofs, and a lifting theorem describing the use of variables and constraints to describe instantiation. The general development applies uniformly across a range of regimes for defining modal operators and relating them to one another; we also consider certain simplifications that are possible with (...) restricted modal theories and fragments. (shrink)

We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E δ and A δ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. (...) We also show that the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for ctl. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional ctl logic. (shrink)

This paper is dedicated to extending and adapting to modal logic the approach of fractional semantics to classical logic. This is a multi-valued semantics governed by pure proof-theoretic considerations, whose truth-values are the rational numbers in the closed interval $[0,1]$. Focusing on the modal logic K, the proposed methodology relies on three key components: bilateral sequent calculus, invertibility of the logical rules, and stability (proof-invariance). We show that our semantic analysis of K affords an (...) informational refinement with respect to the standard Kripkean semantics (a new proof of Dugundji’s theorem is a case in point) and it raises the prospect of a proof-theoretic semantics for modal logic. (shrink)

This paper discusses how an understanding of Jung's psychological types is important for the relevance of Gilbert's multi-modal argumentation theory. Moreover, it highlights how the types have been confirmed by contemporary neuroscience and cognitive psychology. Based on Gilbert's approach, I extend multi-modal argumentation to the area of legal argumentation. It seems that when we leave behind the traditional fortress of “logical” legal argumentation, we "discover" alternate modes that have always been present, concealed in the theoretically underestimated (...) rhetorical skills of arguers. (shrink)

We introduce quantificational modal operators as dynamic modalities with (extensions of) Henkin quantifiers as indices. The adoption of matrices of indices (with action identifiers, variables and/or quantified variables as entries) gives an expressive formalism which is here motivated with examples from the area of multi-agent systems. We study the formal properties of the resulting logic which, formally speaking, does not satisfy the normality condition. However, the logic admits a semantics in terms of (an extension of) Kripke (...) structures. As a consequence, standard techniques for normal modal logic become available. We apply these to prove completeness and decidability, and to extend some standard frame results to this logic. (shrink)

We study the logic of neighbourhood models with pointwise intersection, as a means to characterize multi-modal logics. Pointwise intersection takes us from a set of neighbourhood sets Ni (one for each member i of a set G used to interpret the modality □) to a new neighbourhood set NG, which in turn allows us to interpret the operator □G Here, X is in the neighbourhood for G if and only if X equals the intersection of some Y (...) {Yi | Yi ∈G}. We show that the notion of pointwise intersection has various applications in epistemic and doxastic logic, deontic logic, coalition logic, and evidence logic. We then establish sound and strongly complete axiomatizations for the weakest logic characterized by pointwise intersection and for a number of variants, using a new and generally applicable technique for canonical model construction. (shrink)

In this paper I question the primacy of argumentation relying solely on logic by showing how the body and mind are deeply connected and as a result how communication and argumentation are a product of this mind/body connection. In particular, I explore the physicality of argumentation through the research and writings on gestures and the embodied mind. Michael Gilbert’s theory of multi-modal argumentation provides the general approach for this elaboration.

In this paper I question the primacy of argumentation relying solely on logic by showing how the body and mind are deeply connected and as a result how communication and argumentation are a product of this mind/body connection. In particular, I explore the physicality of argumentation through the research and writings on gestures and the embodied mind. Michael Gilbert’s theory of multi-modal argumentation provides the general approach for this elaboration.

Given a normal (multi-)modal logic a characterization is given of the finitely presentable algebras A whose logics L A split the lattice of normal extensions of . This is a substantial generalization of Rautenberg [10] and [11] in which is assumed to be weakly transitive and A to be finite. We also obtain as a direct consequence a result by Blok [2] that for all cycle-free and finite A L A splits the lattice of normal extensions of (...) K. Although we firmly believe it to be true, we have not been able to prove that if a logic splits the lattice of extensions of then is the logic of an algebra finitely presentable over ; in this respect our result remains partial. (shrink)

Two approaches for defining common knowledge coexist in the literature: the infinite iteration definition and the circular or fixed point one. In particular, an original modelization of the fixed point definition was proposed by Barwise in the context of a non-well-founded set theory and the infinite iteration approach has been technically analyzed within multi-modal epistemic logic using neighbourhood semantics by Lismont. This paper exhibits a relation between these two ways of modelling common knowledge which seem at first (...) quite different. (shrink)

In this paper we study natural deduction for the intuitionistic and classical (normal) modal logics obtained from the combinations of the axioms T, B, 4 and 5. In this context we introduce a new multi-contextual structure, called T-sequent, that allows to design simple labelfree natural deduction systems for these logics. After proving that they are sound and complete we show that they satisfy the normalization property and consequently the subformula property in the intuitionistic case.

This paper offers a semantic study in multi-relational semantics of quantified N-Monotonic modal logics with varying domains with and without the identity symbol. We identify conditions on frames to characterise Barcan and Ghilardi schemata and present some related completeness results. The characterisation of Barcan schemata in multi-relational frames with varying domains shows the independence of BF and CBF from well-known propositional modal schemata, an independence that does not hold with constant domains. This fact was firstly suggested (...) for classical modal systems by Stolpe, 557–575, 2003), but unfortunately that work used only models and not frames. (shrink)