Log in

Relevant bibliographies by topics / Modal logic / Journal articles

To see the other types of publications on this topic, follow the link: Modal logic.

Journal articles on the topic 'Modal logic'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

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

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Modal 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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Cresswell, Max. "Non-Denumerable Infinitary Modal Logic." JUCS - Journal of Universal Computer Science 15, no. (1) (2009): 63–71. https://doi.org/10.3217/jucs-015-01-0063.

Full text

Abstract:

Segerberg established an analogue of the canonical model theorem in modal logic for infinitary modal logic. However, the logics studied by Segerberg and Goldblatt are based on denumerable sets of pairs ‹Γ, α› of sets Γ of well-formed formulae and well-formed formulae α. In this paper I show how a generalisation of the infinite cut-rule used by Segerberg and Goldblatt enables the removal of the limitation to denumerable sets of sequents.

APA, Harvard, Vancouver, ISO, and other styles

2

Schumann, Andrew. "Nāgārjunian-Yogācārian Modal Logic versus Aristotelian Modal Logic." Journal of Indian Philosophy 49, no. 3 (2021): 467–98. http://dx.doi.org/10.1007/s10781-021-09470-5.

Full text

Abstract:

AbstractThere are two different modal logics: the logic T assuming contingency and the logic K = assuming logical determinism. In the paper, I show that the Aristotelian treatise On Interpretation (Περί ερμηνείας, De Interpretatione) has introduced some modal-logical relationships which correspond to T. In this logic, it is supposed that there are contingent events. The Nāgārjunian treatise Īśvara-kartṛtva-nirākṛtiḥ-viṣṇoḥ-ekakartṛtva-nirākaraṇa has introduced some modal-logical relationships which correspond to K =. In this logic, it is supposed that there is a logical determinism: each event

APA, Harvard, Vancouver, ISO, and other styles

3

Rybakov, V. V. "Hereditarily structurally complete modal logics." Journal of Symbolic Logic 60, no. 1 (1995): 266–88. http://dx.doi.org/10.2307/2275521.

Full text

Abstract:

AbstractWe consider structural completeness in modal logics. The main result is the necessary and sufficient condition for modal logics over K4 to be hereditarily structurally complete: a modal logic λ is hereditarily structurally complete iff λ is not included in any logic from the list of twenty special tabular logics. Hence there are exactly twenty maximal structurally incomplete modal logics above K4 and they are all tabular.

APA, Harvard, Vancouver, ISO, and other styles

4

Demey, Lorenz. "Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics." Axioms 10, no. 3 (2021): 128. http://dx.doi.org/10.3390/axioms10030128.

Full text

Abstract:

Aristotelian diagrams, such as the square of opposition, are well-known in the context of normal modal logics (i.e., systems of modal logic which can be given a relational semantics in terms of Kripke models). This paper studies Aristotelian diagrams for non-normal systems of modal logic (based on neighborhood semantics, a topologically inspired generalization of relational semantics). In particular, we investigate the phenomenon of logic-sensitivity of Aristotelian diagrams. We distinguish between four different types of logic-sensitivity, viz. with respect to (i) Aristotelian families, (ii)

APA, Harvard, Vancouver, ISO, and other styles

5

Kooi, Barteld, and Allard Tamminga. "Three-valued Logics in Modal Logic." Studia Logica 101, no. 5 (2012): 1061–72. http://dx.doi.org/10.1007/s11225-012-9420-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

BEZHANISHVILI, GURAM, NICK BEZHANISHVILI, and JULIA ILIN. "STABLE MODAL LOGICS." Review of Symbolic Logic 11, no. 3 (2018): 436–69. http://dx.doi.org/10.1017/s1755020317000375.

Full text

Abstract:

AbstractStable logics are modal logics characterized by a class of frames closed under relation preserving images. These logics admit all filtrations. Since many basic modal systems such as K4 and S4 are not stable, we introduce the more general concept of an M-stable logic, where M is an arbitrary normal modal logic that admits some filtration. Of course, M can be chosen to be K4 or S4. We give several characterizations of M-stable logics. We prove that there are continuum many S4-stable logics and continuum many K4-stable logics between K4 and S4. We axiomatize K4-stable and S4-stable logics

APA, Harvard, Vancouver, ISO, and other styles

7

Venema, Yde, Alexander Chagrov, and Michael Zakharyaschev. "Modal Logic." Philosophical Review 109, no. 2 (2000): 286. http://dx.doi.org/10.2307/2693587.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Kracht, Marcus, Patrick Blackburn, Maarten de Rijke, and Yde Venema. "Modal Logic." Bulletin of Symbolic Logic 8, no. 2 (2002): 299. http://dx.doi.org/10.2307/2693968.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Venema, Y. "MODAL LOGIC." Philosophical Review 109, no. 2 (2000): 286–89. http://dx.doi.org/10.1215/00318108-109-2-286.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Spencer-Smith, Richard. "Modal logic." Artificial Intelligence Review 5, no. 1-2 (1991): 5–34. http://dx.doi.org/10.1007/bf00129533.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

De Araujo Feitosa, Hércules, Mariana Matulovic, and Ana Claudia de J. Golzio. "A basic epistemic logic and its algebraic model." INTERMATHS 4, no. 2 (2023): 28–37. http://dx.doi.org/10.22481/intermaths.v4i2.14133.

Full text

Abstract:

In this paper we propose an algebraic model for a modal epistemic logic. Although it is known the existence of algebraic models for modal logics, considering that there are so many different modal logics, so it is not usual to give an algebraic model for each such system. The basic epistemic logic used in the paper is bimodal and we can show that the epistemic algebra introduced in the paper is an adequate model for it.

APA, Harvard, Vancouver, ISO, and other styles

12

Ewald, W. B. "Intuitionistic tense and modal logic." Journal of Symbolic Logic 51, no. 1 (1986): 166–79. http://dx.doi.org/10.2307/2273953.

Full text

Abstract:

In this article we shall construct intuitionistic analogues to the main systems of classical tense logic. Since each classical modal logic can be gotten from some tense logic by one of the definitions(i) □ p ≡ p ∧ Gp ∧ Hp, ◇p ≡ p ∨ Fp ∨ Pp; or,(ii) □ p ≡ p ∧ Gp, ◇p = p ∨ Fp(see [5]), we shall find that our intuitionistic tense logics give us analogues to the classical modal logics as well.We shall not here discuss the philosophical issues raised by our logics. Readers interested in the intuitionistic view of time and modality should see [2] for a detailed discussion.In §2 we define the Kripke

APA, Harvard, Vancouver, ISO, and other styles

13

Mruczek-Nasieniewska, Krystyna, and Marek Nasieniewski. "A Kotas-Style Characterisation of Minimal Discussive Logic." Axioms 8, no. 4 (2019): 108. http://dx.doi.org/10.3390/axioms8040108.

Full text

Abstract:

In this paper, we discuss a version of discussive logic determined by a certain variant of Jaśkowski’s original model of discussion. The obtained system can be treated as the minimal discussive logic. It is determined by frames with serial accessibility relation. As the smallest one, this logic can be treated as a basis which could be extended to richer discussive logics that are obtained by varying accessibility relation and resulting in a lattice of discussive logics. One has to remember that while formulating discussive logics there is no one-to-one determination of discussive logics by mod

APA, Harvard, Vancouver, ISO, and other styles

14

Kupke, Clemens, Dirk Pattinson, and Lutz Schröder. "Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics." ACM Transactions on Computational Logic 23, no. 2 (2022): 1–34. http://dx.doi.org/10.1145/3501300.

Full text

Abstract:

We establish a generic upper bound ExpTime for reasoning with global assumptions (also known as TBoxes) in coalgebraic modal logics. Unlike earlier results of this kind, our bound does not require a tractable set of tableau rules for the instance logics, so that the result applies to wider classes of logics. Examples are Presburger modal logic, which extends graded modal logic with linear inequalities over numbers of successors, and probabilistic modal logic with polynomial inequalities over probabilities. We establish the theoretical upper bound using a type elimination algorithm. We also pro

APA, Harvard, Vancouver, ISO, and other styles

15

Demri, Stéphane, and Raul Fervari. "The power of modal separation logics." Journal of Logic and Computation 29, no. 8 (2019): 1139–84. http://dx.doi.org/10.1093/logcom/exz019.

Full text

Abstract:

Abstract We introduce a modal separation logic MSL whose models are memory states from separation logic and the logical connectives include modal operators as well as separating conjunction and implication from separation logic. With such a combination of operators, some fragments of MSL can be seen as genuine modal logics whereas some others capture standard separation logics, leading to an original language to speak about memory states. We analyse the decidability status and the computational complexity of several fragments of MSL, obtaining surprising results by design of proof methods that

APA, Harvard, Vancouver, ISO, and other styles

16

Calcagno, Cristiano, Philippa Gardner, and Uri Zarfaty. "Context logic as modal logic." ACM SIGPLAN Notices 42, no. 1 (2007): 123–34. http://dx.doi.org/10.1145/1190215.1190236.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Balbiani, Philippe. "A Modal Semantics of Negation in Logic Programming." Fundamenta Informaticae 16, no. 3-4 (1992): 231–62. http://dx.doi.org/10.3233/fi-1992-163-403.

Full text

Abstract:

The beauty of modal logics and their interest lie in their ability to represent such different intensional concepts as knowledge, time, obligation, provability in arithmetic, … according to the properties satisfied by the accessibility relations of their Kripke models (transitivity, reflexivity, symmetry, well-foundedness, …). The purpose of this paper is to study the ability of modal logics to represent the concepts of provability and unprovability in logic programming. The use of modal logic to study the semantics of logic programming with negation is defended with the help of a modal comple

APA, Harvard, Vancouver, ISO, and other styles

18

Lin, Zhe, and Minghui Ma. "Gentzen sequent calculi for some intuitionistic modal logics." Logic Journal of the IGPL 27, no. 4 (2019): 596–623. http://dx.doi.org/10.1093/jigpal/jzz020.

Full text

Abstract:

Abstract Intuitionistic modal logics are extensions of intuitionistic propositional logic with modal axioms. We treat with two modal languages ${\mathscr{L}}_\Diamond $ and $\mathscr{L}_{\Diamond ,\Box }$ which extend the intuitionistic propositional language with $\Diamond $ and $\Diamond ,\Box $, respectively. Gentzen sequent calculi are established for several intuitionistic modal logics. In particular, we introduce a Gentzen sequent calculus for the well-known intuitionistic modal logic $\textsf{MIPC}$. These sequent calculi admit cut elimination and subformula property. They are decidable

APA, Harvard, Vancouver, ISO, and other styles

19

Li, Dazhu. "Losing connection: the modal logic of definable link deletion." Journal of Logic and Computation 30, no. 3 (2020): 715–43. http://dx.doi.org/10.1093/logcom/exz036.

Full text

Abstract:

Abstract In this article, we start with a two-player game that models communication under adverse circumstances in everyday life and study it from the perspective of a modal logic of graphs, where links can be deleted locally according to definitions available to the adversarial player. We first introduce a new language, semantics and some typical validities. We then formulate a new type of first-order translation for this modal logic and prove its correctness. Then, a novel notion of bisimulation is proposed that leads to a characterization theorem for the logic as a fragment of first-order l

APA, Harvard, Vancouver, ISO, and other styles

20

Rimatskiy, V. V. "Admissible Inference Rules and Semantic Property of Modal Logics." Bulletin of Irkutsk State University. Series Mathematics 37 (2021): 104–17. http://dx.doi.org/10.26516/1997-7670.2021.37.104.

Full text

Abstract:

Firstly semantic property of nonstandart logics were described by formulas which are peculiar to studied a models in general, and do not take to consideration a variable conditions and a changing assumptions. Evidently the notion of inference rule generalizes the notion of formulas and brings us more flexibility and more expressive power to model human reasoning and computing. In 2000-2010 a few results on describing of explicit bases for admissible inference rules for nonstandard logics (S4, K4, H etc.) appeared. The key property of these logics was weak co-cover property. Beside the improvem

APA, Harvard, Vancouver, ISO, and other styles

21

SASAKI, KATSUMI. "FORMULAS IN MODAL LOGIC S4." Review of Symbolic Logic 3, no. 4 (2010): 600–627. http://dx.doi.org/10.1017/s1755020310000043.

Full text

Abstract:

Here, we provide a detailed description of the mutual relation of formulas with finite propositional variables p1, …, pm in modal logic S4. Our description contains more information on S4 than those given in Shehtman (1978) and Moss (2007); however, Shehtman (1978) also treated Grzegorczyk logic and Moss (2007) treated many other normal modal logics. Specifically, we construct normal forms, which behave like the principal conjunctive normal forms in the classical propositional logic. The results include finite and effective methods to find a normal form equivalent to a given formula A by clari

APA, Harvard, Vancouver, ISO, and other styles

22

HOLLIDAY, WESLEY H., and TADEUSZ LITAK. "COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS." Review of Symbolic Logic 12, no. 3 (2019): 487–535. http://dx.doi.org/10.1017/s1755020317000259.

Full text

Abstract:

AbstractIn this article, we tell a story about incompleteness in modal logic. The story weaves together an article of van Benthem (1979), “Syntactic aspects of modal incompleteness theorems,” and a longstanding open question: whether every normal modal logic can be characterized by a class ofcompletely additivemodal algebras, or as we call them,${\cal V}$-baos. Using a first-order reformulation of the property of complete additivity, we prove that the modal logic that starred in van Benthem’s article resolves the open question in the negative. In addition, for the case of bimodal logic, we sho

APA, Harvard, Vancouver, ISO, and other styles

23

DROBYSHEVICH, SERGEY, and HEINRICH WANSING. "PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS." Review of Symbolic Logic 13, no. 4 (2019): 720–47. http://dx.doi.org/10.1017/s1755020319000261.

Full text

Abstract:

AbstractWe present novel proof systems for various FDE-based modal logics. Among the systems considered are a number of Belnapian modal logics introduced in Odintsov & Wansing (2010) and Odintsov & Wansing (2017), as well as the modal logic KN4 with strong implication introduced in Goble (2006). In particular, we provide a Hilbert-style axiom system for the logic $BK^{\square - } $ and characterize the logic BK as an axiomatic extension of the system $BK^{FS} $. For KN4 we provide both an FDE-style axiom system and a decidable sequent calculus for which a contraction elimination and a

APA, Harvard, Vancouver, ISO, and other styles

24

Milnikel, Robert. "Embedding Modal Nonmonotonic Logics into Default Logic." Studia Logica 75, no. 3 (2003): 377–82. http://dx.doi.org/10.1023/b:stud.0000009566.83940.4f.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Kontopoulos, Efstratios, Nick Bassiliades, Guido Governatori, and Grigoris Antoniou. "A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web." International Journal on Semantic Web and Information Systems 7, no. 1 (2011): 18–43. http://dx.doi.org/10.4018/jswis.2011010102.

Full text

Abstract:

Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic Web, which enriches the available Web information with meaning, leading to better cooperation between end-users and applications. Defeasible and modal logics, in general, and, particularly, deontic logic provide means for modeling agent communities, where each agent is characterized by its cognitive profile and normative system, as well as policies, w

APA, Harvard, Vancouver, ISO, and other styles

26

Goguadze, George, Carla Piazza, and Yde Venema. "Simulating polyadic modal logics by monadic ones." Journal of Symbolic Logic 68, no. 2 (2003): 419–62. http://dx.doi.org/10.2178/jsl/1052669058.

Full text

Abstract:

AbstractWe define an interpretation of modal languages with polyadic operators in modal languages that use monadic operators (diamonds) only. We also define a simulation operator which associates a logic Λsim in the diamond language with each logic Λ in the language with polyadic modal connectives. We prove that this simulation operator transfers several useful properties of modal logics, such as finite/recursive axiomatizability, frame completeness and the finite model property, canonicity and first-order definability.

APA, Harvard, Vancouver, ISO, and other styles

27

Hirsch, R., I. Hodkinson, and A. Kurucz. "On modal logics betweenK × K × KandS5 × S5 × S5." Journal of Symbolic Logic 67, no. 1 (2002): 221–34. http://dx.doi.org/10.2178/jsl/1190150040.

Full text

Abstract:

AbstractWe prove that everyn-modal logic betweenKnandS5nis undecidable, whenever n ≥ 3. We also show that each of these logics is non-finitely axiomatizable, lacks the product finite model property, and there is no algorithm deciding whether a finite frame validates the logic. These results answer several questions of Gabbay and Shehtman. The proofs combine the modal logic technique of Yankov–Fine frame formulas with algebraic logic results of Halmos, Johnson and Monk, and give a reduction of the (undecidable) representation problem of finite relation algebras.

APA, Harvard, Vancouver, ISO, and other styles

28

Shapirovsky, Ilya. "Satisfiability Problems on Sums of Kripke Frames." ACM Transactions on Computational Logic 23, no. 3 (2022): 1–25. http://dx.doi.org/10.1145/3508068.

Full text

Abstract:

We consider the operation of sum on Kripke frames, where a family of frames-summands is indexed by elements of another frame. In many cases, the modal logic of sums inherits the finite model property and decidability from the modal logic of summands [Babenyshev and Rybakov 2010 ; Shapirovsky 2018 ]. In this paper we show that, under a general condition, the satisfiability problem on sums is polynomial space Turing reducible to the satisfiability problem on summands. In particular, for many modal logics decidability in PSpace is an immediate corollary from the semantic characterization of the l

APA, Harvard, Vancouver, ISO, and other styles

29

Rybakov, Mikhail, and Dmitry Shkatov. "Recursive enumerability and elementary frame definability in predicate modal logic." Journal of Logic and Computation 30, no. 2 (2019): 549–60. http://dx.doi.org/10.1093/logcom/exz028.

Full text

Abstract:

Abstract We investigate the relationship between recursive enumerability and elementary frame definability in first-order predicate modal logic. On one hand, it is well known that every first-order predicate modal logic complete with respect to an elementary class of Kripke frames, i.e. a class of frames definable by a classical first-order formula, is recursively enumerable. On the other, numerous examples are known of predicate modal logics, based on ‘natural’ propositional modal logics with essentially second-order Kripke semantics, that are either not recursively enumerable or Kripke incom

APA, Harvard, Vancouver, ISO, and other styles

30

HARRISON-TRAINOR, MATTHEW. "FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS." Review of Symbolic Logic 12, no. 4 (2019): 637–62. http://dx.doi.org/10.1017/s1755020319000418.

Full text

Abstract:

AbstractThis article builds on Humberstone’s idea of defining models of propositional modal logic where total possible worlds are replaced by partial possibilities. We follow a suggestion of Humberstone by introducing possibility models for quantified modal logic. We show that a simple quantified modal logic is sound and complete for our semantics. Although Holliday showed that for many propositional modal logics, it is possible to give a completeness proof using a canonical model construction where every possibility consists of finitely many formulas, we show that this is impossible to do in

APA, Harvard, Vancouver, ISO, and other styles

31

Parisi, Andrew. "Second-Order Modal Logic." Bulletin of Symbolic Logic 27, no. 4 (2021): 530–31. http://dx.doi.org/10.1017/bsl.2020.45.

Full text

Abstract:

AbstractThe dissertation introduces new sequent-calculi for free first- and second-order logic, and a hyper-sequent calculus for modal logics K, D, T, B, S4, and S5; to attain the calculi for the stronger modal logics, only external structural rules need to be added to the calculus for K, while operational and internal structural rules remain the same. Completeness and cut-elimination are proved for all calculi presented.Philosophically, the dissertation develops an inferentialist, or proof-theoretic, theory of meaning. It takes as a starting point that the sense of a sentence is determined by

APA, Harvard, Vancouver, ISO, and other styles

32

Nocic, Vladimir, and Jasmina Nocic. "Modal logic and logic of fiction." Theoria, Beograd 56, no. 4 (2013): 47–62. http://dx.doi.org/10.2298/theo1304047n.

Full text

Abstract:

This paper analyzes the views of representative theoreticians of possible worlds semantics and possible worlds theory in an attempt to ascertain the degree and manner of interdisciplinary borrowing through focusing on possible worlds and individuals in those worlds. The paper first clarifies the general perceptions of possible worlds, perceptions in the field of modal restrictions, transworld identity, and identity over time, as presented in the works of Saul Kripke, David Lewis, and Nicholas Rescher, the representative semanticists of possible worlds, and then ascertains the degree and manner

APA, Harvard, Vancouver, ISO, and other styles

33

Hodkinson, Ian, and Louis Paternault. "Axiomatizing hybrid logic using modal logic." Journal of Applied Logic 8, no. 4 (2010): 386–96. http://dx.doi.org/10.1016/j.jal.2010.08.005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Tulenheimo, Tero. "Hybrid Logic Meets IF Modal Logic." Journal of Logic, Language and Information 18, no. 4 (2009): 559–91. http://dx.doi.org/10.1007/s10849-009-9092-y.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Allo, Patrick. "Adaptive Logic as a Modal Logic." Studia Logica 101, no. 5 (2012): 933–58. http://dx.doi.org/10.1007/s11225-012-9403-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

BEZHANISHVILI, GURAM, DAVID GABELAIA, and JOEL LUCERO-BRYAN. "MODAL LOGICS OF METRIC SPACES." Review of Symbolic Logic 8, no. 1 (2014): 178–91. http://dx.doi.org/10.1017/s1755020314000446.

Full text

Abstract:

AbstractIt is a classic result (McKinsey & Tarski, 1944; Rasiowa & Sikorski, 1963) that if we interpret modal diamond as topological closure, then the modal logic of any dense-in-itself metric space is the well-known modal system S4. In this paper, as a natural follow-up, we study the modal logic of an arbitrary metric space. Our main result establishes that modal logics arising from metric spaces form the following chain which is order-isomorphic (with respect to the ⊃ relation) to the ordinal ω + 3:$S4.Gr{z_1} \supset S4.Gr{z_2} \supset S4.Gr{z_3} \supset \cdots \,S4.Grz \supset S4.1

APA, Harvard, Vancouver, ISO, and other styles

37

MURAI, Tetsuya, and Satoru FUKAMI. "Modal Logic (1)." Journal of Japan Society for Fuzzy Theory and Systems 7, no. 1 (1995): 3–18. http://dx.doi.org/10.3156/jfuzzy.7.1_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

MURAI, Tetsuya, and Satoru FUKAMI. "Modal Logic (2)." Journal of Japan Society for Fuzzy Theory and Systems 7, no. 2 (1995): 222–38. http://dx.doi.org/10.3156/jfuzzy.7.2_222.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Degnan, Michael J. "Aristotle’s Modal Logic." Ancient Philosophy 20, no. 1 (2000): 215–22. http://dx.doi.org/10.5840/ancientphil200020118.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Venema, Yde. "Cylindric modal logic." Journal of Symbolic Logic 60, no. 2 (1995): 591–623. http://dx.doi.org/10.2307/2275853.

Full text

Abstract:

AbstractTreating the existential quantification ∃νi as a diamond ♢i and the identity νi = νj as a constant δij, we study restricted versions of first order logic as if they were modal formalisms. This approach is closely related to algebraic logic, as the Kripke frames of our system have the type of the atom structures of cylindric algebras; the full cylindric set algebras are the complex algebras of the intended multidimensional frames called cubes.The main contribution of the paper is a characterization of these cube frames for the finite-dimensional case and, as a consequence of the special

APA, Harvard, Vancouver, ISO, and other styles

41

Smarandache, Florentin. "Neutrosophic Modal Logic." BRAIN. Broad Research in Artificial Intelligence and Neuroscience 10, no. 2 (2019): 26. https://doi.org/10.70594/brain/v10.i2/3.

Full text

Abstract:

<p>We introduce now for the first time the neutrosophic modal logic. The Neutrosophic Modal Logic includes the neutrosophic operators that express the modalities. It is an extension of neutrosophic predicate logic and of neutrosophic propositional logic.</p>

APA, Harvard, Vancouver, ISO, and other styles

42

Kracht, Marcus. "Technical Modal Logic." Philosophy Compass 6, no. 5 (2011): 350–59. http://dx.doi.org/10.1111/j.1747-9991.2011.00396.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Bozzelli, Laura, Hans van Ditmarsch, Tim French, James Hales, and Sophie Pinchinat. "Refinement modal logic." Information and Computation 239 (December 2014): 303–39. http://dx.doi.org/10.1016/j.ic.2014.07.013.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Dunn, J. Michael. "Positive modal logic." Studia Logica 55, no. 2 (1995): 301–17. http://dx.doi.org/10.1007/bf01061239.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Kamide, Norihiro, and Yaroslav Shramko. "Modal Multilattice Logic." Logica Universalis 11, no. 3 (2017): 317–43. http://dx.doi.org/10.1007/s11787-017-0172-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Ostertag, Gary. "Russell’s Modal Logic?" Russell: The Journal of Bertrand Russell Studies 20, no. 2 (2000): 165–72. http://dx.doi.org/10.1353/rss.2000.0005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Hella, Lauri, Antti Kuusisto, Arne Meier, and Jonni Virtema. "Model checking and validity in propositional and modal inclusion logics." Journal of Logic and Computation 29, no. 5 (2019): 605–30. http://dx.doi.org/10.1093/logcom/exz008.

Full text

Abstract:

Abstract Propositional and modal inclusion logic are formalisms that belong to the family of logics based on team semantics. This article investigates the model checking and validity problems of these logics. We identify complexity bounds for both problems, covering both lax and strict team semantics. By doing so, we come close to finalizing the programme that aims to completely classify the complexities of the basic reasoning problems for modal and propositional dependence, independence and inclusion logics.

APA, Harvard, Vancouver, ISO, and other styles

48

Hartonas, Chrysafis. "A Van Benthem Characterization Result for Distribution-Free Logics." Logics 3, no. 1 (2025): 1. https://doi.org/10.3390/logics3010001.

Full text

Abstract:

This article contributes to recent results in the model theory of distribution-free logics (which include a Goldblatt-Thomason theorem and a development of their Sahlqvist theory) by lifting van Benthem’s characterization result for modal logic to the more general setting of the logics of normal lattice expansions. Our proof approach makes use of a fully abstract translation of the language of the logics of interest into the language of sorted residuated modal logic, building on an analogous translation of substructural logics recently published by the author. The article is intended as a demo

APA, Harvard, Vancouver, ISO, and other styles

49

GYENIS, ZALÁN. "STANDARD BAYES LOGIC IS NOT FINITELY AXIOMATIZABLE." Review of Symbolic Logic 13, no. 2 (2019): 326–37. http://dx.doi.org/10.1017/s1755020319000157.

Full text

Abstract:

AbstractIn the article [2] a hierarchy of modal logics has been defined to capture the logical features of Bayesian belief revision. Elements in that hierarchy were distinguished by the cardinality of the set of elementary propositions. By linking the modal logics in the hierarchy to the modal logics of Medvedev frames it has been shown that the modal logic of Bayesian belief revision determined by probabilities on a finite set of elementary propositions is not finitely axiomatizable. However, the infinite case remained open. In this article we prove that the modal logic of Bayesian belief rev

APA, Harvard, Vancouver, ISO, and other styles

50

Hartonas, Chrysafis. "Distribution-Free Normal Modal Logics." Logics 3, no. 2 (2025): 3. https://doi.org/10.3390/logics3020003.

Full text

Abstract:

This article initiates the semantic study of distribution-free normal modal logic systems, laying the semantic foundations and anticipating further research in the area. The article explores roughly the same area, though taking a different approach, as a recent article by Bezhanishvili, de Groot, Dmitrieva and Morachini, who studied a distribution-free version of Dunn’s positive modal logic (PML). Unlike PML, we consider logics that may drop distribution and that are equipped with both an implication connective and modal operators. We adopt a uniform relational semantics approach, relying on r

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!