Switch to: References

Citations of:

Advice on modal logic

In Karel Lambert (ed.), Philosophical problems in logic: some recent developments. Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston. pp. 143--173 (1980)

Add citations

You must login to add citations.
  1. Dynamic Hyperintensional Belief Revision.Aybüke Özgün & Francesco Berto - 2021 - Review of Symbolic Logic (3):766-811.
    We propose a dynamic hyperintensional logic of belief revision for non-omniscient agents, reducing the logical omniscience phenomena affecting standard doxastic/epistemic logic as well as AGM belief revision theory. Our agents don’t know all a priori truths; their belief states are not closed under classical logical consequence; and their belief update policies are such that logically or necessarily equivalent contents can lead to different revisions. We model both plain and conditional belief, then focus on dynamic belief revision. The key idea we (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
    This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models – an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic. In addition, the book discusses a broad range of topics, including standard modal logic results ; bisimulations for neighborhood models and other model-theoretic (...)
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Impossible Worlds.Franz Berto & Mark Jago - 2013 - Oxford: Oxford University Press.
    We need to understand the impossible. Francesco Berto and Mark Jago start by considering what the concepts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition have in common. They are all concepts which divide the world up more finely than logic does. Logically equivalent sentences may carry different meanings and information and may differ in how they're believed. Fictions can be inconsistent yet meaningful. We can suppose impossible things without collapsing into total incoherence. Yet for the leading philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.
    The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...)
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • A plea for monsters.Philippe Schlenker - 2002 - Linguistics and Philosophy 26 (1):29-120.
    Kaplan claims in Demonstratives that no operator may manipulate the context of evaluation of natural language indexicals. We show that this is not so. In fact, attitude reports always manipulate a context parameter (or, rather, a context variable). This is shown by (i) the existence of De Se readings of attitude reports in English (which Kaplan has no account for), and (ii) the existence of a variety of indexicals across languages whose point of evaluation can be shifted, but only in (...)
    Download  
     
    Export citation  
     
    Bookmark   163 citations  
  • Monsters and the theoretical role of context.Brian Rabern & Derek Ball - 2019 - Philosophy and Phenomenological Research 98 (2):392-416.
    Kaplan (1989) famously claimed that monsters--operators that shift the context--do not exist in English and "could not be added to it". Several recent theorists have pointed out a range of data that seem to refute Kaplan's claim, but others (most explicitly Stalnaker 2014) have offered a principled argument that monsters are impossible. This paper interprets and resolves the dispute. Contra appearances, this is no dry, technical matter: it cuts to the heart of a deep disagreement about the fundamental structure of (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • A hyperintensional approach to positive epistemic possibility.Niccolò Rossi & Aybüke Özgün - 2023 - Synthese 202 (44):1-29.
    The received view says that possibility is the dual of necessity: a proposition is (metaphysically, logically, epistemically etc.) possible iff it is not the case that its negation is (metaphysically, logically, epistemically etc., respectively) necessary. This reading is usually taken for granted by modal logicians and indeed seems plausible when dealing with logical or metaphysical possibility. But what about epistemic possibility? We argue that the dual definition of epistemic possibility in terms of epistemic necessity generates tension when reasoning about non-idealized (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Hyperintensional logic.M. J. Cresswell - 1975 - Studia Logica 34 (1):25 - 38.
    Download  
     
    Export citation  
     
    Bookmark   74 citations  
  • Logical constants.John MacFarlane - 2008 - Mind.
    Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...)
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  • What ‘must’ adds.Matthew Mandelkern - 2019 - Linguistics and Philosophy 42 (3):225-266.
    There is a difference between the conditions in which one can felicitously use a ‘must’-claim like and those in which one can use the corresponding claim without the ‘must’, as in 'It must be raining out' versus 'It is raining out. It is difficult to pin down just what this difference amounts to. And it is difficult to account for this difference, since assertions of 'Must p' and assertions of p alone seem to have the same basic goal: namely, communicating (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Confessions of a schmentencite: towards an explicit semantics.Jonathan Schaffer - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (5-6):593-623.
    ABSTRACT Natural language semantics is heir to two formalisms. There is the extensional machinery of explicit variables traditionally used to model reference to individuals, and the intensional machinery of implicit index parameters traditionally used to model reference to worlds and times. I propose instead a simple and unified extensional formalism – explicit semantics – on which all sentences include explicit individual, world and time variables. No implicit index parameters are needed.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Toward a semantic analysis of verb aspect and the English 'imperfective' progressive.David R. Dowty - 1977 - Linguistics and Philosophy 1 (1):45 - 77.
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • Law and logic.Stig Kanger - 1972 - Theoria 38 (3):105-132.
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • Topics in Conditional Logic.Donald Nute - 1980 - Boston, MA, USA: Reidel.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • A Bridge from Semantic Value to Content.Brian Rabern - 2017 - Philosophical Topics 45 (2):181-207.
    A common view relating compositional semantics and the objects of assertion holds the following: Sentences φ and ψ expresses the same proposition iff φ and ψ have the same modal profile. Following Dummett, Evans, and Lewis, Stanley argues that this view is fundamentally mistaken. According to Dummett, we must distinguish the semantic contribution a sentence makes to more complex expressions in which it occurs from its assertoric content. Stojnić insists that views which distinguish the roles of content and semantic value (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Belief and Probability: A General Theory of Probability Cores.Arthur Paul Pedersen & Horacio Arlo-Costa - 2012 - International Journal of Approximate Reasoning 53 (3).
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Modal logic with subjunctive conditionals and dispositional predicates.Lennart Åqvist - 1973 - Journal of Philosophical Logic 2 (1):1 - 76.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Deflationism, Meaning and Truth-Conditions.Claire Horisk, Dorit Bar-On & William G. Lycan - 2000 - Philosophical Studies 101 (1):1 - 28.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • The world is everything that is the case.M. J. Cresswell - 1972 - Australasian Journal of Philosophy 50 (1):1 – 13.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Modal logic: A semantic perspective.Patrick Blackburn & Johan van Benthem - 1988 - Ethics 98:501-517.
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 BASIC MODAL LOGIC . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • Hyperintensional logics for everyone.Igor Sedlár - 2019 - Synthese 198 (2):933-956.
    We introduce a general representation of unary hyperintensional modalities and study various hyperintensional modal logics based on the representation. It is shown that the major approaches to hyperintensionality known from the literature, that is state-based, syntactic and structuralist approaches, all correspond to special cases of the general framework. Completeness results pertaining to our hyperintensional modal logics are established.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.
    This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Error, Consistency and Triviality.Christine Tiefensee & Gregory Wheeler - 2022 - Noûs 56 (3):602-618.
    In this paper, we present a new semantic challenge to the moral error theory. Its first component calls upon moral error theorists to deliver a deontic semantics that is consistent with the error-theoretic denial of moral truths by returning the truth-value false to all moral deontic sentences. We call this the ‘consistency challenge’ to the moral error theory. Its second component demands that error theorists explain in which way moral deontic assertions can be seen to differ in meaning despite necessarily (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Tense, propositions, and meanings.Mark Richard - 1982 - Philosophical Studies 41 (3):337--351.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - 2022 - Review of Symbolic Logic 15 (3):771-806.
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Pure Quotation in Linguistic Context.Brian Rabern - 2023 - Journal of Philosophical Logic 52 (2):393-413.
    A common framing has it that any adequate treatment of quotation has to abandon one of the following three principles: (i) The quoted expression is a syntactic constituent of the quote phrase; (ii) If two expressions are derived by applying the same syntactic rule to a sequence of synonymous expressions, then they are synonymous; (iii) The language contains synonymous but distinct expressions. In the following, a formal syntax and semantics will be provided for a quotational language which adheres to all (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Classical intensional logics.M. J. Cresswell - 1970 - Theoria 36 (3):347-372.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • « Everywhere » and « here ».Valentin Shehtman - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):369-379.
    ABSTRACT The paper studies propositional logics in a bimodal language, in which the first modality is interpreted as the local truth, and the second as the universal truth. The logic S4UC is introduced, which is finitely axiomatizable, has the f.m.p. and is determined by every connected separable metric space.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Recent Work in Relevant Logic.Mark Jago - 2013 - Analysis 73 (3):526-541.
    This paper surveys important work done in relevant logic in the past 10 years.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • A semantic theory of sortal incorrectness.R. H. Thomason - 1972 - Journal of Philosophical Logic 1 (2):209 - 258.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • (1 other version)Reviving the parameter revolution in semantics.Bryan Pickel, Brian Rabern & Josh Dever - 2018 - In Derek Ball & Brian Rabern (eds.), The Science of Meaning: Essays on the Metatheory of Natural Language Semantics. Oxford: Oxford University Press. pp. 138-171.
    Montague and Kaplan began a revolution in semantics, which promised to explain how a univocal expression could make distinct truth-conditional contributions in its various occurrences. The idea was to treat context as a parameter at which a sentence is semantically evaluated. But the revolution has stalled. One salient problem comes from recurring demonstratives: "He is tall and he is not tall". For the sentence to be true at a context, each occurrence of the demonstrative must make a different truth-conditional contribution. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The logic of indexicals.Alexandru Radulescu - 2015 - Synthese 192 (6):1839-1860.
    Since Kaplan : 81–98, 1979) first provided a logic for context-sensitive expressions, it has been thought that the only way to construct a logic for indexicals is to restrict it to arguments which take place in a single context— that is, instantaneous arguments, uttered by a single speaker, in a single place, etc. In this paper, I propose a logic which does away with these restrictions, and thus places arguments where they belong, in real world conversations. The central innovation is (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Intensional logics and logical truth.M. J. Cresswell - 1972 - Journal of Philosophical Logic 1 (1):2 - 15.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Active agents.Vincent F. Hendricks - 2003 - Journal of Logic, Language and Information 12 (4):469-495.
    The purpose of this survey is twofold: (1) to place some centralthemes of epistemic logic in a general epistemological context,and (2) to outline a new framework for epistemic logic developedjointly with S. Andur Pedersen unifying some key ``mainstream''epistemological concerns with the ``formal'' epistemologicalapparatus.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • (1 other version)Change, Event, and Temporal Points of View.Antti Hautamäki - 2015 - In Margarita Vázquez Campos & Antonio Manuel Liz Gutiérrez (eds.), Temporal Points of View: Subjective and Objective Aspects. Springer Verlag. pp. 197-221.
    A “conceptual spaces” approach is used to formalize Aristotle’s main intuitions about time and change, and other ideas about temporal points of view. That approach has been used in earlier studies about points of view. Properties of entities are represented by locations in multidimensional conceptual spaces; and concepts of entities are identified with subsets or regions of conceptual spaces. The dimensions of the spaces, called “determinables”, are qualities in a very general sense. A temporal element is introduced by adding a (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)Formal Semantics: Origins, Issues, Early Impact.Barbara H. Partee - 2011 - The Baltic International Yearbook of Cognition, Logic and Communication 6:13.
    Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy and logic. With Montague as (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • On the relation between modality and tense.Fabrice Correia & Sven Rosenkranz - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (6):586-604.
    ABSTRACT We critically review two extant paradigms for understanding the systematic interaction between modality and tense, as well as their respective modifications designed to do justice to the contingency of time’s structure and composition. We show that on either type of theory, as well as their respective modifications, some principles prove logically valid whose truth might sensibly be questioned on metaphysical grounds. These considerations lead us to devise a more general logical framework that allows accommodation of those metaphysical views that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Unawareness and Implicit Belief.Edward J. R. Elliott - manuscript
    Possible worlds models of belief have difficulties accounting for unawareness, the inability to entertain (and hence believe) certain propositions. Accommodating unawareness is important for adequately modelling epistemic states, and representing the informational content to which agents have in principle access given their explicit beliefs. In this paper, I develop a model of explicit belief, awareness, and informational content, along with an sound and complete axiomatisation. I furthermore defend the model against the seminal impossibility result of Dekel, Lipman and Rustichini, according (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Science of Meaning: Essays on the Metatheory of Natural Language Semantics.Derek Ball & Brian Rabern (eds.) - 2018 - Oxford: Oxford University Press.
    By creating certain marks on paper, or by making certain sounds-breathing past a moving tongue-or by articulation of hands and bodies, language users can give expression to their mental lives. With language we command, assert, query, emote, insult, and inspire. Language has meaning. This fact can be quite mystifying, yet a science of linguistic meaning-semantics-has emerged at the intersection of a variety of disciplines: philosophy, linguistics, computer science, and psychology. Semantics is the study of meaning. But what exactly is "meaning"? (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Neighborhood Semantics for Basic and Intuitionistic Logic.Morteza Moniri & Fatemeh Shirmohammadzadeh Maleki - 2015 - Logic and Logical Philosophy 24 (3):339-355.
    In this paper we present a neighborhood semantics for Intuitionistic Propositional Logic (IPL). We show that for each Kripke model of the logic there is a pointwise equivalent neighborhood model and vice versa. In this way, we establish soundness and completeness of IPL with respect to the neighborhood semantics. The relation between neighborhood and topological semantics are also investigated. Moreover, the notions of bisimulation and n-bisimulation between neighborhood models of IPL are defined naturally and some of their basic properties are (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The logic of the articles in traditional philosophy: a contribution to the study of conceptual structures.Else Margarete Barth - 1974 - Boston: D. Reidel Pub. Co..
    When the original Dutch version of this book was presented in 1971 to the University of Leiden as a thesis for the Doctorate in philosophy, I was prevented by the academic mores of that university from expressing my sincere thanks to three members of the Philosophical Faculty for their support of and interest in my pursuits. I take the liberty of doing so now, two and a half years later. First and foremost I want to thank Professor G. Nuchelmans warmly (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • First order extensions of classical systems of modal logic; the role of the Barcan schemas.Horacio Arló Costa - 2002 - Studia Logica 71 (1):87-118.
    The paper studies first order extensions of classical systems of modal logic (see (Chellas, 1980, part III)). We focus on the role of the Barcan formulas. It is shown that these formulas correspond to fundamental properties of neighborhood frames. The results have interesting applications in epistemic logic. In particular we suggest that the proposed models can be used in order to study monadic operators of probability (Kyburg, 1990) and likelihood (Halpern-Rabin, 1987).
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
    This papers gives a survey of recent results about simulations of one class of modal logics by another class and of the transfer of properties of modal logics under extensions of the underlying modal language. We discuss: the transfer from normal polymodal logics to their fusions, the transfer from normal modal logics to their extensions by adding the universal modality, and the transfer from normal monomodal logics to minimal tense extensions. Likewise, we discuss simulations of normal polymodal logics by normal (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Logical omniscience as infeasibility.Sergei Artemov & Roman Kuznets - 2014 - Annals of Pure and Applied Logic 165 (1):6-25.
    Logical theories for representing knowledge are often plagued by the so-called Logical Omniscience Problem. The problem stems from the clash between the desire to model rational agents, which should be capable of simple logical inferences, and the fact that any logical inference, however complex, almost inevitably consists of inference steps that are simple enough. This contradiction points to the fruitlessness of trying to solve the Logical Omniscience Problem qualitatively if the rationality of agents is to be maintained. We provide a (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)Where monsters dwell.David Israel & John Perry - 1996 - In Jerry Seligman & Dag Westerstahl (eds.), Logic, Language and Computation. Center for the Study of Language and Inf. pp. 1--303.
    Kaplan says that monsters violate Principle 2 of his theory. Principle 2 is that indexicals, pure and demonstrative alike, are directly referential. In providing this explanation of there being no monsters, Kaplan feels his theory has an advantage over double-indexing theories like Kamp’s or Segerberg’s (or Stalnaker’s), which either embrace monsters or avoid them only by ad hoc stipulation, in the sharp conceptual distinction it draws between circumstances of evaluation and contexts of utterance. We shall argue that Kaplan’s prohibition is (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • The history of the use of ⟦.⟧-notation in natural language semantics.Brian Rabern - 2016 - Semantics and Pragmatics 9 (12).
    In contemporary natural languages semantics one will often see the use of special brackets to enclose a linguistic expression, e.g. ⟦carrot⟧. These brackets---so-called denotation brackets or semantic evaluation brackets---stand for a function that maps a linguistic expression to its "denotation" or semantic value (perhaps relative to a model or other parameters). Even though this notation has been used in one form or another since the early development of natural language semantics in the 1960s and 1970s, Montague himself didn't make use (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Standard State Space Models of Unawareness.Peter Fritz & Harvey Lederman - 2015 - Theoretical Aspects of Rationality and Knowledge 15.
    The impossibility theorem of Dekel, Lipman and Rustichini has been thought to demonstrate that standard state-space models cannot be used to represent unawareness. We first show that Dekel, Lipman and Rustichini do not establish this claim. We then distinguish three notions of awareness, and argue that although one of them may not be adequately modeled using standard state spaces, there is no reason to think that standard state spaces cannot provide models of the other two notions. In fact, standard space (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Context Dependence.Thomas Ede Zimmermann - 2012 - In C. Maienborn, K. von Heusinger & P. Portner (eds.), Handbook of Semantics. Volume 3. de Gruyter.
    Linguistic expressions frequently make reference to the situation in which they are uttered. In fact, there are expressions whose whole point of use is to relate to their context of utterance. It is such expressions that this article is primarily about. However, rather than presenting the richness of pertinent phenomena (cf. Anderson & Keenan 1985), it concentrates on the theoretical tools provided by the (standard) two-dimensional analysis of context dependence, essentially originating with Kaplan (1989)--with a little help from Stalnaker (1978) (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Sentence-relativity and the necessary a posteriori.Kai-Yee Wong - 1996 - Philosophical Studies 83 (1):53 - 91.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Non-adjunctive inference and classical modalities.Horacio Arló Costa - 2005 - Journal of Philosophical Logic 34 (5/6):581 - 605.
    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 unified (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations