Search results for 'Modalities' (try it on Scholar)

1000+ found
Sort by:
  1. Fiona Macpherson (forthcoming). The Space of Sensory Modalities. In D. Stokes S. Biggs & M. Matthen (eds.), Perception and Its Modalities.score: 27.0
    Is there a space of the sensory modalities? Such a space would be one in which we can represent all the actual, and at least some of the possible, sensory modalities. The relative position of the senses in this space would indicate how similar and how different the senses were from each other. The construction of such a space might reveal unconsidered features of the actual and possible senses, help us to define what a sense is, and provide (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Dimiter Vakarelov (2012). Dynamic Modalities. Studia Logica 100 (1-2):385-397.score: 24.0
    A new modal logic containing four dynamic modalities with the following informal reading is introduced: $${\square^\forall}$$ – always necessary , $${\square^\exists}$$ – sometimes necessary , and their duals – $${\diamondsuit^\forall}$$ – always possibly , and $${\diamondsuit^\exists}$$ – sometimes possibly . We present a complete axiomatization with respect to the intended formal semantics and prove decidability via fmp.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Ani Nenkova (2002). A Tableau Method for Graded Intersections of Modalities: A Case for Concept Languages. [REVIEW] Journal of Logic, Language and Information 11 (1):67-77.score: 24.0
    A concept language with role intersection and number restriction is defined and its modal equivalent is provided. The main reasoning tasks of satisfiability and subsumption checking are formulated in terms of modal logic and an algorithm for their solution is provided. An axiomatization for a restricted graded modal language with intersection of modalities (the modal counterpart of the concept language we examine)is given and used in the proposed algorithm.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  4. Mauro Gattari (2005). Finite and Physical Modalities. Notre Dame Journal of Formal Logic 46 (4):425-437.score: 24.0
    The logic Kf of the modalities of finite, devised to capture the notion of 'there exists a finite number of accessible worlds such that . . . is true', was introduced and axiomatized by Fattorosi. In this paper we enrich the logical framework of Kf: we give consistency properties and a tableau system (which yields the decidability) explicitly designed for Kf, and we introduce a shorter and more natural axiomatization. Moreover, we show the strong and suggestive relationship between Kf (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Mark Ryan & Pierre-Yves Schobbens (1997). Counterfactuals and Updates as Inverse Modalities. Journal of Logic, Language and Information 6 (2):123-146.score: 24.0
    We point out a simple but hitherto ignored link between the theoryof updates, the theory of counterfactuals, and classical modal logic: update is a classicalexistential modality, counterfactual is a classical universalmodality, and the accessibility relations corresponding to these modalities are inverses. The Ramsey Rule (often thought esoteric) is simply an axiomatisation of this inverse relationship. We use this fact to translate between rules for updates andrules for counterfactuals. Thus, Katsuno and Mendelzons postulatesU1--U8 are translated into counterfactual rules C1--C8(Table VII), (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Lloyd Humberstone (2009). Collapsing Modalities. Notre Dame Journal of Formal Logic 50 (2):119-132.score: 24.0
    Sections 1 and 2 respectively raise and settle the question of whether, if an affirmative modality collapses (reduces to the null modality, that is) in a normal modal logic, then all modalities of the same length collapse in that logic, while Section 3 considers some special cases of an analogous phenomenon for congruential modal logics, closing with a general question about collapsing modalities in this broader range of logics.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Wilfrid Sellars (1957). Counterfactuals, Dispositions, and the Causal Modalities. In Herbert Feigl Michael Scriven & Grover Maxwell (eds.), Minnesota Studies in The Philosophy of Science, Vol. II. University of Minnesota Press.score: 21.0
    [p.225] Introduction (i) Although the following essay attempts to deal in a connected way with a number of connected conceptual tangles, it is by no means monolithic in design. It divides roughly in two, with the first half (Parts I and II) devoted to certain puzzles which have their source in a misunderstanding of the more specific structure of the language in which we describe and explain natural phenomena; while the second half (Parts III and IV) attempts to resolve the (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Eva-Maria Engelen (1996). Review On: Ruth Barcan Marcus, Modalities. Philosophical Essays, New York/Oxford (Oxford University Press) 1993. [REVIEW] Erkenntnis 44 (1):125-128.score: 21.0
    The great contribution Marcus has made to several of intensely discussed topics in philosophy might not have been noticed fully without this collection of some of her most important articles that makes it evident that her achievement is not limited to inventing the famous Barcan formula.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Jack A. Adams & Ridgely W. Chambers (1962). Response to Simultaneous Stimulation of Two Sense Modalities. Journal of Experimental Psychology 63 (2):198.score: 21.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Maurizio Fattorosi‐Barnaba & Uliano Paolozzi Balestrini (1999). The Modality of Finite (Graded Modalities VII). Mathematical Logic Quarterly 45 (4):471-480.score: 21.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Ira J. Hirsh & Carl E. Sherrick Jr (1961). Perceived Order in Different Sense Modalities. Journal of Experimental Psychology 62 (5):423.score: 21.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. F. W. Irwin & M. G. Preston (1937). Avoidance of Repetition of Judgments Across Sense Modalities. Journal of Experimental Psychology 21 (5):511.score: 21.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Stanley J. Weiss (1964). Summation of Response Strengths Instrumentally Conditioned to Stimuli in Different Sensory Modalities. Journal of Experimental Psychology 68 (2):151.score: 21.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. John L. Bell & Silvia Gebellato (1996). Precovers, Modalities and Universal Closure Operators in a Topos. Mathematical Logic Quarterly 42 (1):289-299.score: 21.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. Maurizio Fattorosi-Barnaba & Silvano Grassotti (1995). An Infinitary Graded Modal Logic (Graded Modalities VI). Mathematical Logic Quarterly 41 (4):547-563.score: 21.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. Horacio Arló Costa (2005). Non-Adjunctive Inference and Classical Modalities. Journal of Philosophical Logic 34 (5/6):581 - 605.score: 20.0
    The article focuses on representing different forms of non-adjunctive inference as sub-Kripkean systems of classical modal logic, where the inference from □A and □B to □A ∧ B fails. In particular we prove a completeness result showing that the modal system that Schotch and Jennings derive from a form of non-adjunctive inference in (Schotch and Jennings, 1980) is a classical system strictly stronger than EMN and weaker than K (following the notation for classical modalities presented in Chellas, 1980). The (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  17. Adriano Dodó & João Marcos (2014). Negative Modalities, Consistency and Determinedness. Electronic Notes in Theoretical Computer Science 300:21-45.score: 20.0
    We study a modal language for negative operators—an intuitionistic-like negation and its paraconsistent dual—added to (bounded) distributive lattices. For each non-classical negation an extra operator is hereby adjoined in order to allow for standard logical inferences to be opportunely restored. We present abstract characterizations and exhibit the main properties of each kind of negative modality, as well as of the associated connectives that express consistency and determinedness at the object-language level. Appropriate sequent-style proof systems and adequate kripke semantics are also (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Matthew A. Lambon Ralph Katia Dilkina (2012). Conceptual Structure Within and Between Modalities. Frontiers in Human Neuroscience 6.score: 20.0
    Current views of semantic memory share the assumption that conceptual representations are based on multi-modal experience, which activates distinct modality-specific brain regions. This proposition is widely accepted, yet little is known about how each modality contributes to conceptual knowledge and how the structure of this contribution varies across these multiple information sources. We used verbal feature lists, features from drawings and verbal co-occurrence statistics from latent semantic analysis to examine the informational structure in four domains of knowledge: perceptual, functional, encyclopedic (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  19. Michał Walicki (2008). Modalities as Interactions Between the Classical and the Intuitionistic Logics. Logic and Logical Philosophy 15 (3):193-215.score: 20.0
    We give an equivalent formulation of topological algebras, interpreting S4, as boolean algebras equipped with intuitionistic negation. The intuitionistic substructure—Heyting algebra—of such an algebra can be then seen as an “epistemic subuniverse”, and modalities arise from the interaction between the intuitionistic and classical negations or, we might perhaps say, between the epistemic and the ontological aspects: they are not relations between arbitrary alternatives but between intuitionistic substructures and one common world governed by the classical (propositional) logic. As an example (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Jessica Leech (2012). Kant's Modalities of Judgment. European Journal of Philosophy 20 (2):260-284.score: 18.0
    Abstract: This paper proposes a way to understand Kant's modalities of judgment—problematic, assertoric, and apodeictic—in terms of the location of a judgment in an inference. Other interpretations have tended to understand these modalities of judgment in terms of one or other conventional notion of modality. For example, Mattey (1986) argues that we should take them to be connected to notions of epistemic or doxastic modality. I shall argue that this is wrong, and that these kinds of interpretation of (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  21. Dominic Gregory (2011). Iterated Modalities, Meaning and A Priori Knowledge. Philosophers' Imprint 11 (3).score: 18.0
    Recent work on the philosophy of modality has tended to pass over questions about iterated modalities in favour of constructing ambitious metaphysical theories of possibility and necessity, despite the central importance of iterated modalities to modal logic. Yet there are numerous unresolved but fundamental issues involving iterated modalities: Chandler and Salmon have provided forceful arguments against the widespread assumption that all necessary truths are necessarily necessary, for example. The current paper examines a range of ways in which (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  22. Carlo Proietti & Gabriel Sandu (2010). Fitch's Paradox and Ceteris Paribus Modalities. Synthese 173 (1):75 - 87.score: 18.0
    The paper attempts to give a solution to the Fitch’s paradox though the strategy of the reformulation of the paradox in temporal logic, and a notion of knowledge which is a kind of ceteris paribus modality. An analogous solution has been offered in a different context to solve the problem of metaphysical determinism.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  23. L. Bortolotti (2002). Consciousness and Intentionality: Models and Modalities of Attribution. Australasian Journal of Philosophy 80 (2):247 – 248.score: 18.0
    Book Information Consciousness and Intentionality: Models and Modalities of Attribution. Edited by Fisette Denis. Kluwer Academic Publishers. Dordrecht. 1999. Pp. viii + 361. Hardback, US$140, £88.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  24. Ruth Barcan Marcus (1961/1993). Modalities: Philosophical Essays. Oxford University Press.score: 18.0
    Based on her earlier ground-breaking axiomatization of quantified modal logic, the papers collected here by the distinguished philosopher Ruth Barcan Marcus cover much ground in the development of her thought, spanning from 1961 to 1990. The first essay here introduces themes initially viewed as iconoclastic, such as the necessity of identity, the directly referential role of proper names as "tags", the Barcan Formula about the interplay of possibility and existence, and alternative interpretations of quantification. Marcus also addresses the putative puzzles (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. John Maier (2013). The Agentive Modalities. Philosophy and Phenomenological Research 87 (3):n/a-n/a.score: 18.0
    A number of philosophical projects require a proper understanding of the modal aspects of agency, or of what I call ‘the agentive modalities.’ I propose a general account of the agentive modalities, one which takes as its primitive the decision-theoretic notion of an option. I relate this account to the standard semantics for ‘can’ and to the viability of some positions in the free will debates.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  26. Avi Sion (1990). Future Logic: Categorical and Conditional Deduction and Induction of the Natural, Temporal, Extensional, and Logical Modalities. Lulu.com.score: 18.0
    Future Logic is an original and wide-ranging treatise of formal logic. It deals with deduction and induction, of categorical and conditional propositions, involving the natural, temporal, extensional, and logical modalities. This is the first work ever to strictly formalize the inductive processes of generalization and particularization, through the novel methods of factorial analysis, factor selection and formula revision. This is the first work ever to develop a formal logic of the natural, temporal and extensional types of conditioning (as distinct (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. Roy Dyckhoff (2010). Positive Logic with Adjoint Modalities: Proof Theory, Semantics, and Reasoning About Information. Review of Symbolic Logic 3 (3):351-373.score: 18.0
    We consider a simple modal logic whose nonmodal part has conjunction and disjunction as connectives and whose modalities come in adjoint pairs, but are not in general closure operators. Despite absence of negation and implication, and of axioms corresponding to the characteristic axioms of (e.g.) T, S4, and S5, such logics are useful, as shown in previous work by Baltag, Coecke, and the first author, for encoding and reasoning about information and misinformation in multiagent systems. For the propositional-only fragment (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  28. Dominic M. M. Lopes (1997). Art Media and the Sense Modalities: Tactile Pictures. Philosophical Quarterly 47 (189):425-440.score: 18.0
    It is widely assumed that the art media can be individuated with reference to the sense modalities. Different art media are perceived by means of different sense modalities, and this tells us what properties of each medium are aesthetically relevant. The case of pictures appears to fit this principle well, for pictures are deemed purely and paradigmatically visual representations. However, recent psychological studies show that congenitally and early blind people have the ability to interpret and make raised‐line drawings (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  29. Soshichi Uchii (1972). Inductive Logic with Causal Modalities: A Probabilistic Approach. Philosophy of Science 39 (2):162-178.score: 18.0
    This paper tries to extend Hintikka's inductive logic so that we can confirm a causally necessary statement. For this purpose, a joint system of inductive logic and logic of causal modalities is constructed. This system can offer a plausible explication of the distinction between nomic and accidental universality, as well as a good formulation of a causal law. And the transition from actuality to causal necessity is construed, in this system, as essentially probabilistic; i.e. no statements about actuality can (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  30. Xuezhi Zhang (2007). Several Modalities of the Body-Mind Relationship in Traditional Chinese Philosophy. Frontiers of Philosophy in China 2 (3):379-401.score: 18.0
    Ancient Chinese philosophers were inclined to preserve the doctrine of a unified body and mind rather than to engage in a discussion on the separation of the two. In addition, most traditional Chinese philosophers stressing in particular the function of mind. Based on the tradition of believing in the concept of qi, they traced the cause of their spiritual activities to the natural effect of the qi. The modalities display a phenomenological characteristic that looks at mental activities lightly, and (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  31. Robert Goldblatt (1992). Parallel Action: Concurrent Dynamic Logic with Independent Modalities. Studia Logica 51 (3-4):551 - 578.score: 18.0
    Regular dynamic logic is extended by the program construct, meaning and executed in parallel. In a semantics due to Peleg, each command is interpreted as a set of pairs (s,T), withT being the set of states reachable froms by a single execution of, possibly involving several processes acting in parallel. The modalities ] are given the interpretations>A is true ats iff there existsT withsRT andA true throughoutT, and.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  32. Juliana Bueno-Soler (2010). Two Semantical Approaches to Paraconsistent Modalities. Logica Universalis 4 (1):137-160.score: 18.0
    In this paper we extend the anodic systems introduced in Bueno-Soler (J Appl Non Class Logics 19(3):291–310, 2009) by adding certain paraconsistent axioms based on the so called logics of formal inconsistency , introduced in Carnielli et al. (Handbook of philosophical logic, Springer, Amsterdam, 2007), and define the classes of systems that we call cathodic . These classes consist of modal paraconsistent systems, an approach which permits us to treat with certain kinds of conflicting situations. Our interest in this paper (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  33. Giuseppe Primiero (2012). A Contextual Type Theory with Judgemental Modalities for Reasoning From Open Assumptions. Logique and Analyse 220:579-600.score: 18.0
    Contextual type theories are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. The combination of a constructive language with a modal extension of contexts appears crucial to explore the attractive idea of a type-theoretical calculus of provability from refutable assumptions for non-monotonic reasoning. This paper introduces such a language: the modal operators are meant to internalize two different modes of correctness, respectively with necessity as the standard notion of constructive verification and possibility as (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  34. Marcello D'agostino, Dov M. Gabbay & Alessandra Russo (1997). Grafting Modalities Onto Substructural Implication Systems. Studia Logica 59 (1):65-102.score: 18.0
    We investigate the semantics of the logical systems obtained by introducing the modalities and into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Then, in the spirit of the LDS (Labelled Deductive Systems) methodology, we "import" this semantics into the classical proof system KE. This leads to the formulation of a uniform labelled refutation system for the new logics which is a natural extension of a system for substructural implication developed by the first two authors (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  35. Ian Hodkinson (2010). The Bounded Fragment and Hybrid Logic with Polyadic Modalities. Review of Symbolic Logic 3 (2):279-286.score: 18.0
    We show that the bounded fragment of first-order logic and the hybrid language with and operators are equally expressive even with polyadic modalities, but that their fragments are equally expressive only for unary modalities.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  36. Amy Karofsky (2003). God, Modalities, and Conceptualism. Philosophy and Theology 15 (2):257-271.score: 18.0
    God’s relationship to modalities poses a serious problem for the theist. If God determines modalities, then it seems that he can do anything. If, on the other hand, modalities determine God’s actions, then it seems that he is not genuinely free. Conceptualism offers a solution to this problem by maintaining that modalities are determined by what is conceivable for the intellects of the universe that God has chosen to create. Prior to the creation of intellects, there (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  37. Heinrich Wansing (1998). Nested Deontic Modalities: Another View of Parking on Highways. [REVIEW] Erkenntnis 49 (2):185-199.score: 18.0
    A suggestion is made for representing iterated deontic modalities in stit theory, the “seeing-to-it-that” theory of agency. The formalization is such that normative sentences are represented as agentive sentences and therefore have history dependent truth conditions. In contrast to investigations in alethic modal logic, in the construction of systems of deontic logic little attention has been paid to the iteration... of the deontic modalities.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  38. Francesco Caro (1988). Graded Modalities, II (Canonical Models). Studia Logica 47 (1):1 - 10.score: 18.0
    This work intends to be a generalization and a simplification of the techniques employed in [2], by the proposal of a general strategy to prove satisfiability theorems for NLGM-s (= normal logics with graded modalities), analogously to the well known technique of the canonical models by Lemmon and Scott for classical modal logics.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  39. Francesco Caro (1988). Normal Predicative Logics with Graded Modalities. Studia Logica 47 (1):11 - 22.score: 18.0
    In this work we extend results from [4], [3] and [2] about propositional calculi with graded modalities to the predicative level. Our semantic is based on Kripke models with a single domain of interpretation for all the worlds. Therefore the axiomatic system will need a suitable generalization of the Barcan formula. We haven't considered semantics with world-relative domains because they don't present any new difficulties with respect to classical case. Our language will have, as in [1], constant and function (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  40. Sébastien Dubé & Henri Cohen (1999). Experimental and Theoretical Evidence for a Similar Localization of Words Encoded Through Different Modalities. Behavioral and Brain Sciences 22 (2):285-286.score: 18.0
    In his target article, Pulvermüller addresses the issue of word localization in the brain. It is not clear, however, how cell assemblies are localized in the case of sensory deprivation. Pulvermüller's claim is that words learned via other modalities (i.e., sign languages) should be localized differently. It is argued, however, based on experimental and theoretical ground, that they should be found in a similar place.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  41. Ming Xu (1995). Busy Choice Sequences Refraining Formulas and Modalities. Studia Logica 54 (3):267 - 301.score: 18.0
    The purpose of this paper is to present some results instit theory, a theory of agency proposed by N. Belnap and M. Perloff. We will establish a correspondence between the numbers ofstit modalities and the complexity degrees ofbusy choice sequences in semantic structures, and consequently, a correspondence between the number of modes of actions/inactions instit theory and the complexity degrees ofbusy choice sequences in semantic structures.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  42. Anna Bucalo (1994). Modalities in Linear Logic Weaker Than the Exponential “of Course”: Algebraic and Relational Semantics. [REVIEW] Journal of Logic, Language and Information 3 (3):211-232.score: 18.0
    We present a semantic study of a family of modal intuitionistic linear systems, providing various logics with both an algebraic semantics and a relational semantics, to obtain completeness results. We call modality a unary operator on formulas which satisfies only one rale (regularity), and we consider any subsetW of a list of axioms which defines the exponential of course of linear logic. We define an algebraic semantics by interpreting the modality as a unary operation on an IL-algebra. Then we introduce (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  43. Alan Garnham Lea A. Hald, Julie-Ann Marshall, Dirk P. Janssen (2011). Switching Modalities in A Sentence Verification Task: ERP Evidence for Embodied Language Processing. Frontiers in Psychology 2.score: 18.0
    In an ERP experiment using written language materials only, we investigated a potential modulation of the N400 by the Modality Switch Effect. The Modality Switch Effect occurs when a first sentence, describing a fact grounded in one modality, is followed by a second sentence describing a second fact grounded in a different modality. For example, “A cellar is dark” (visual), was preceded by either another visual property “Ham is pink” or by a tactile property “A mitten is soft”. We also (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  44. Brian L. Keeley (2002). Making Sense of the Senses: Individuating Modalities in Humans and Other Animals. Journal Of Philosophy 99 (1):5-28.score: 17.0
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  45. Bruce Aune (1963). Abilities, Modalities, and Free Will. Philosophy and Phenomenological Research 23 (March):397-413.score: 17.0
  46. Charles Taliaferro (1991). The Argument From Transposed Modalities. Metaphilosophy 93 (January-April):93-100.score: 17.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  47. Tomis Kapitan (1996). Incompatibilism and Ambiguity in the Practical Modalities. Analysis 56 (2):102-110.score: 17.0
  48. Lev D. Beklemishev, David Fernández-Duque & Joost J. Joosten (2014). On Provability Logics with Linearly Ordered Modalities. Studia Logica 102 (3):541-566.score: 17.0
    We introduce the logics GLP Λ, a generalization of Japaridze’s polymodal provability logic GLP ω where Λ is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLP ω yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLP Λ and the decidability of GLP Λ for recursive orderings Λ. Further, we give a restricted axiomatization of the variable-free fragment (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  49. Simo Knuutila (1993). Modalities in Medieval Philosophy. Routledge.score: 17.0
  50. Jaakko Hintikka (1969). Models for Modalities. Dordrecht, D. Reidel.score: 17.0
1 — 50 / 1000