“…The final chapter in the volume is dedicated to the derivational semantics of modal logic and other related issues.…”
Enlace del recurso

“…Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally accepted nowadays that Kanger was one of the originators of possible worlds semantics for modal logic. …”
Enlace del recurso
Enlace del recurso

“…The focus on models is novel: previous work in mechanisations of modal logic have centered on proof systems and applications in model-checking. …”
Enlace del recurso
Enlace del recurso

“…Burgess''s essays address key topics including nominalism, neo-logicism, intuitionism, modal logic, analyticity, and translation.…”
Enlace del recurso

“…Covers a variety of topics including modal logic, arithmetic algebraic geometry, orthogonal polynomials, stochastic matrices, and computing theory…”
Enlace del recurso

“…This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.…”
Enlace del recurso

“…Our modal logic is essentially constructed on the modal logics based on weak Kleene three-valued logic introduced by Segerberg (Theoria, 33(1):53–71, 1997). …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…Instead of a "spatial" account of time that treats instants like positions in space, he presents the first comprehensive defense of a 'modal' account that emphasizes the similarities between times and the possible worlds in modal logic. Modal accounts of time are naturally cast in terms of a tense logic that accounts for temporal distinctions in terms of primitive tense operators. …”
Enlace del recurso

“…Hybrid logic is modal logic enriched with names for worlds. We formalize soundness and completeness proofs for a Seligman-style tableau system for hybrid logic in the proof assistant Isabelle/HOL. …”
Enlace del recurso
Enlace del recurso

“…Satisfiability checking for monotone modal logic is known to be (only) NP-complete. We show that this remains true when the logic is extended with alternation-free fixpoint operators as well as the universal modality; the resulting logic – the alternation-free monotone [Formula: see text]-calculus with the universal modality – contains both concurrent propositional dynamic logic (CPDL) and the alternation-free fragment of game logic as fragments. …”
Enlace del recurso
Enlace del recurso

“…This volume presents a number of articles from leading researchers containing state-of-the-art results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. …”
Enlace del recurso
Enlace del recurso

“…The objectives are given in a recursive modal logic with semantics defined over a multi-weighted extension of a Kripke structure where each transition is annotated with multiple nonnegative weights representing quantitative resources such as discrete time, energy and cost. …”
Enlace del recurso
Enlace del recurso

“…To support this alternative conception of the plurality of worlds, I provide two examples where a category theoretic account can do work traditionally done by the set theoretic account: one on modal logic and another on paradoxes of size. I argue that the categorial account works at least as well as the set theoretic account, and moreover suggest that it has something to add in each case: it makes apparent avenues of inquiry that were obscured, if not invisible, on the set theoretic account. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…In this paper we present a modal logic framework to reason about the expertise of information sources. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…Using the analytical framework of modal logic, we argue that the modes of reasoning are often not only applied to the context that has been studied empirically, but also on a between-contexts level. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism, and possible worlds semantics.   …”
Enlace del recurso
Enlace del recurso

“…Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, including probabilistic interpretations and an analysis of Kripke models.…”
Enlace del recurso