I get burned if i lie in the sun for too long, but you cant express the possibility of getting burned. On the complexity of modal axiomatisations over many. A modal a word that expresses a modalityqualifies a statement. There are exactly n inhabited planets, as our stipulation guarantees. There are many textbooks that you can consult for more information. If youre looking for a free download links of multidimensional modal logic applied logic series pdf, epub, docx and torrent then this site is not for you. Tools and techniques in modal logic marcus kracht ii. Towards a manydimensional modal logic for semantic. Zakharyaschev1 1department of computer science, birkbeck, university of london, uk 2dibris department, university of genoa, italy 3polcoming department, university of sassari, italy.
The processes are linked by accessibility relations of the kind studied in many dimensional modal logic, modulo compli. A multimodal logic is a modal logic that has more than one primitive modal operator. In contrast with standard possible worlds semantics, 2d semantics assigns extensions. Let l 1 and l 2 be two multimodal 1 logics formulated in languages l 1 and l 2, both containing the language l of classical propositional logic, but having disjoint sets of modal operators.
K m is the simplest normal multi modal logic interpreted over kripke structures. Multidimensional semantics for every modal language. Multidimensional semantics for modal logics project euclid. There are many aspects of the semantics for predicate logic and for modal logic which allow for variation when they are combined. The book treats modal logic as a theory, with several subtheories, such as. College park with a study guide that will complement the lectures on modal logic. Towards a manydimensional modal logic for semantic processing tim fernando abstract.
An introduction to modal logic 2009 formosan summer school on logic, language, and computation 29 june10 july, 2009. While this is faithful to the field as a whole technically, modal predicate logic is just one of many system combinations, it is a serious omission for many purposes, and we will only. Modal predicate logic university of california, davis. A manydimensional approach to simulations in modal logic core.
Technical report 7807, department of mathematics, university of amsterdam, 1978. The processes are linked by accessibility relations of the kind studied in manydimensional modal logic, modulo compli cations from constraints between translation and entailment viola tions in. Zakharyaschev1 1department of computer science, birkbeck, university of london, uk 2dibris department, university of genoa, italy 3polcoming department, university of sassari, italy 4faculty of computer science, free university of bozenbolzano, italy. If both l 1 and l 2 are multimodal logics having the finite model property, then their fusion l 1. Product frames have been widely used for modelling interactions between modal operators. Two dimensional 2d semantics is a formal framework that is used to characterize the meaning of certain linguistic expressions and the entailment relations among sentences containing them. Modal logic is a branch of logic with applications in many related disciplines such as. The processes are linked by accessibility relations of the kind studied in many dimensional modal logic, modulo complications from constraints between translation and entailment violations in which may trigger reattunement and from refinement and underspecification. L 2 of l 1 and l 2 is the smallest multimodal logic l in the language l 1. On the mosaic method for manydimensional modal logics.
Request pdf manydimensional modal logic of tense and temporal interval and its decidability linear tense logics are widely accepted for structural temporal representation, where the basic kt. Temporal and spatial obda with many dimensional halpernshoham logic r. In this way wewillintroduce two novelties to algebraic logic. A catalog ofweak manyvalued modal axioms and their corresponding frame classes. Twodimensional semantics stanford encyclopedia of philosophy. Temporal and spatial obda with manydimensional halpernshoham logic r. Towards a many dimensional modal logic for semantic processing tim fernando abstract. Modal languages and bounded fragments of predicate logic 219 this paper is the.
Modal languages and bounded fragments of predicate logic. Request pdf many dimensional modal logic of tense and temporal interval and its decidability linear tense logics are widely accepted for structural temporal representation, where the basic kt. Similarly, one can look at interesting bidimensional topological spaces. L 2 has the finite model property as well actually, theorem 4. Manydimensional modal logic of tense and temporal interval. We will show that for every modal similarity type s, the basic derivation system k s is strongly sound and complete with respect to a multidimensional class. Modal logic is a well behaved subset of firstorder logic. Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality. The n dimensional relational structures described in 2 are examples of products of kripke frames, a notion introduced in 38, 39. The following is a list of some texts this is not a complete list, but a pointer to books that i have found particularly useful. Keywordsdecidability, manydimensional modal logic, sequent system, temporal logic.
To study the computational behaviour of manydimensional modal logics is. Multidimensional modal logic applied logic series pdf. A version of temporal logic introduced in 1977 and intended for program verification has two modalities, corresponding to dynamic logic s a and a modalities for a single program a, understood. A list describing the best known of these logics follows. Narrowly construed, modal logic studies reasoning that involves the use of the expressions necessarily and possibly. To study the computational behaviour of manydimensional modal logics is the main aim of this book. There are many sentences that you cant express in classic logic that can be expressed in modal logic. A manydimensional approach to simulations in modal logic. The processes are linked by accessibility relations of the kind studied in manydimensional modal logic, modulo compli. The choice of logical connectives depends on the development of propositional logic one wants to follow. To study the computational behaviour of many dimensional modal logics is the main aim of this book. Logic is part of our shared language and inheritance.
Higher dimensional automata hda are a model of concurrency that can express most of the traditional partial order models like mazurkiewicz traces, pomsets, event structures, or petri nets. Two dimensional semantics has also been applied to thought contents. On the degree of incompleteness in modal logic and the covering relations in the lattice of modal logics. The modal analysis of the mathematical modal logic to the foundations of mathematics. Chapter 1 modal logics of space institute for logic.
Modal logics, interpreted over kripke structures, are the logics for reasoning about sequential behavior and interleaved concurrency. We show that the existence of a model for a given set of formulas is equivalent to the existence of a. 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 manydimensional systems e. They find substantial applications in theoretical computer science a modal logic with n primitive unary modal operators. After seeing so many multi dimensional modal logics, the reader might wonder if not every modal logic is or can be seen as a multi dimensional one. Description logic, uncertainty, manydimensional modal logics, reasoning, computational complexity, probabilistic logics. A modala word that expresses a modalityqualifies a statement. Representable cylindric algebras and manydimensional modal. Our arguments had the same form as those used in previous research, except that we placed a modal word of interest in the conclusion. Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multidimensional. However, the term modal logic is used more broadly to cover a family of logics with similar rules and a variety of different symbols. One of the several possible connections between propositional multimodal logics and classical firstorder logic is to consider finite variable fragments of the. The processes are linked by accessibility relations of the kind studied in manydimensional modal logic, modulo complications from constraints between translation and entailment violations in which may trigger reattunement and from refinement and underspecification.
Further offspring of this amsterdambudapest collaboration in the. Modal logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Multidimensional modal logic maarten marx springer. After seeing so many multidimensional modal logics, the reader might wonder if not every modal logic is or can be seen as a multidimensional one. Description logic, uncertainty, many dimensional modal logics, reasoning, computational complexity, probabilistic logics. Basic concepts in modal logic1 stanford university. The polytheistic approach to modal logics alethic modal logic. It was baptized in philosophy, and for a long time it was known as the logic of necessity and possibility. Modal science to appear in canadian journal of philosophy. As these formalisms have a lot in common from a technical point of view, one aim of this dissertation is to study manydimensional modal logics. A note on axiomatisations of twodimensional modal logics. Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi dimensional.
The processes are linked by accessibility relations of the kind studied in many dimensional modal logic, modulo compli cations from constraints between translation and entailment viola tions in. Towards a manydimensional modal logic for semantic processing. In particular, we show that the satisfaction problem and so many other reasoning problems as well for the logics with modal operators applicable to arbitrary concepts, local and global roles. Probabilistic description logics probdls are an extension of description logics that are designed to capture uncertainty. A logic with infinitely many modalities is dynamic logic, introduced in 1976 and having a separate modal operator for every regular expression. Indeed, we consider three different accounts, each one an improvement over the last. The chellas text in uenced me the most, though the order of presentation is inspired more by goldblatt. Thus far, many linguists and computer scientists have proposed the temporal relations in occurrences. We present and study these various notions, followed by a discussion of shehtmans frame product as semantics for certain manydimensional modal logics. The standard philosophy curriculum therefore includes a healthy dose of logic. We show that every modal logic with arbitrary many modalities of arbitrary arity can be seen as a multidimensional modal logic in the sense of venema. In the case of modal logics with kripke semantics the notions of simulation and bisimulation prove far more practical and interesting than isomorphism. In twodimensional modal logic, the truth of a formula.
Manydimensignal modallogic institute for logic, language. A twodimensional logic for diagonalization and the a priori. Our investigations can also be motivated from a purely modal logic point of view. Secondly, the semantics for modal and predicate logics have complicating features not found in. The discovery of topological and algebraic semantics for modal logic connected it with general topology and. Studies in logic and the foundations of mathematics many. 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. Keywordsdecidability, many dimensional modal logic, sequent system, temporal logic.
The n dimensional relational structures described in 2 are. The category of objective modality let zn name the actual number of inhabited planets. 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. Twodimensional 2d semantics is a formal framework that is used to characterize the meaning of certain linguistic expressions and the entailment relations among sentences containing them. For example, the statement john is happy might be qualified by saying that john is usually happy, in which case the term usually is functioning as a modal. In each case, the semantics is twodimensional in the sense that formulas are evaluated at pairs of worlds. In studies in logic and the foundations of mathematics, 2003. We tested the claim that the modal word is the crucial factor using a new paradigm that isolates its effects. Representable cylindric algebras and manydimensional. This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Temporal and spatial obda with manydimensional halpern. Twodimensional semantics has also been applied to thought contents. However, the nice computational properties can drastically change if we combine some of these formalisms into a manydimensional system, say, to reason about knowledge bases developing in time or moving objects.
1114 504 1574 1175 772 40 1349 1597 218 55 647 1540 1532 1595 1338 1321 214 751 137 1381 1379 161 202 907 291 136 781 191 672 1019 428 811 863 580 611 747 1248 1220 1066 940 1049 1075