Log in

Relevant bibliographies by topics / Polymodal logic

Contents

Journal articles
Book chapters

Academic literature on the topic 'Polymodal logic'

Author: Grafiati

Published: 2 June 2025

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Polymodal logic.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Polymodal logic"

1

Bell, John L. "Polymodal Lattices and Polymodal Logic." Mathematical Logic Quarterly 42, no. 1 (1996): 219–33. http://dx.doi.org/10.1002/malq.19960420119.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Kracht, Marcus, and Frank Wolter. "Normal monomodal logics can simulate all others." Journal of Symbolic Logic 64, no. 1 (1999): 99–138. http://dx.doi.org/10.2307/2586754.

Full text

Abstract:

AbstractThis paper shows that non-normal modal logics can be simulated by certain polymodal normal logics and that polymodal normal logics can be simulated by monomodal (normal) logics. Many properties of logics are shown to be reflected and preserved by such simulations. As a consequence many old and new results in modal logic can be derived in a straightforward way, sheding new light on the power of normal monomodal logic.

APA, Harvard, Vancouver, ISO, and other styles

3

Goldblatt, R. "Algebraic polymodal logic: a survey." Logic Journal of IGPL 8, no. 4 (2000): 393–450. http://dx.doi.org/10.1093/jigpal/8.4.393.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Miyamoto, Sadaaki, Tetsuya Murai, and Yasuo Kudo. "A Family of Polymodal Systems and its Application to Generalized Possibility Measures and Multi-Rough Sets." Journal of Advanced Computational Intelligence and Intelligent Informatics 10, no. 5 (2006): 625–32. http://dx.doi.org/10.20965/jaciii.2006.p0625.

Full text

Abstract:

Polymodal systems generally have large areas of applications to theoretical computer science including the theory of programming, while other applications are not yet fully explored. In this paper we consider a family of polymodal systems with the structure of lattices on the polymodal indices. After investigating theory of the polymodal systems such as the completeness, we study two applications. One is generalized possibility measures in which lattice-valued measures are proposed and relations with the ordinary possibility and necessity measures are uncovered. Second application is considera

APA, Harvard, Vancouver, ISO, and other styles

5

Alekseev, P. A., and M. I. Golovanov. "Admissible inference rules for polymodal logicS5 n C." Algebra and Logic 36, no. 5 (1997): 281–87. http://dx.doi.org/10.1007/bf02671605.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Berger, Gerald, Lev D. Beklemishev, and Hans Tompits. "A many-sorted variant of Japaridze’s polymodal provability logic." Logic Journal of the IGPL 26, no. 5 (2018): 505–38. http://dx.doi.org/10.1093/jigpal/jzy012.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

MIYAMOTO, Sadaaki. "Polymodal Logic and Application to Systems with Uncertainties of Risks." Journal of Japan Society for Fuzzy Theory and Intelligent Informatics 15, no. 1 (2003): 73–77. http://dx.doi.org/10.3156/jsoft.15.73.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Dashkov, E. V. "On the positive fragment of the polymodal provability logic GLP." Mathematical Notes 91, no. 3-4 (2012): 318–33. http://dx.doi.org/10.1134/s0001434612030029.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Fernández-Duque, David, and Joost J. Joosten. "Models of transfinite provability logic." Journal of Symbolic Logic 78, no. 2 (2013): 543–61. http://dx.doi.org/10.2178/jsl.7802110.

Full text

Abstract:

AbstractFor any ordinal Λ, we can define a polymodal logic GLPΛ, with a modality [ξ] for each ξ < Λ. These represent provability predicates of increasing strength. Although GLPΛ has no Kripke models, Ignatiev showed that indeed one can construct a Kripke model of the variable-free fragment with natural number modalities, denoted . Later, Icard defined a topological model for which is very closely related to Ignatiev's.In this paper we show how to extend these constructions for arbitrary Λ. More generally, for each Θ, Λ we build a Kripke model and a topological model , and show that is sound

APA, Harvard, Vancouver, ISO, and other styles

10

Wolter, Frank, and Michael Zakharyaschev. "Decidable fragments of first-order modal logics." Journal of Symbolic Logic 66, no. 3 (2001): 1415–38. http://dx.doi.org/10.2307/2695115.

Full text

Abstract:

AbstractThe paper considers the setof first-order polymodal formulas the modal operators in which can be applied to subformulas of at most one free variable. Using a mosaic technique, we prove a general satisfiability criterion for formulas in, which reduces the modal satisfiability to the classical one. The criterion is then used to single out a number of new, in a sense optimal, decidable fragments of various modal predicate logics.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Polymodal logic"

1

"Polymodal logics with inequality." In Specifying Message Passing and Time-Critical Systems with Temporal Logic. Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56283-4_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

"Chapter 6 Reducing polymodal logic to monomodal logic." In Studies in Logic and the Foundations of Mathematics. Elsevier, 1999. http://dx.doi.org/10.1016/s0049-237x(99)80008-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!