Search results for 'modal relations' (try it on Scholar)

1000+ found
Sort by:
  1. Natasha Alechina, Philippe Balbiani & Dmitry Shkatov (2012). Modal Logics for Reasoning About Infinite Unions and Intersections of Binary Relations. Journal of Applied Non-Classical Logics 22 (4):275 - 294.score: 144.0
    (2012). Modal logics for reasoning about infinite unions and intersections of binary relations. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 275-294. doi: 10.1080/11663081.2012.705960.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Stéphane Demri & Dov Gabbay (2000). On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I. Studia Logica 65 (3):323-353.score: 126.0
    This work is divided in two papers (Part I and Part II). In Part I, we study a class of polymodal logics (herein called the class of "Rare-logics") for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability are established by faithfully translating (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Stéphane Demri & Dov Gabbay (2000). On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II. Studia Logica 66 (3):349-384.score: 126.0
    This work is divided in two papers (Part I and Part II). In Part I, we introduced the class of Rare-logics for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability were established by faithfully translating the Rare-logics into more standard modal (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Philippe Balbiani & Ewa Orlowska (1999). A Hierarchy of Modal Logics with Relative Accessibility Relations. Journal of Applied Non-Classical Logics 9 (2-3):303-328.score: 126.0
    ABSTRACT In this paper we introduce and investigate various classes of multimodal logics based on frames with relative accessibility relations. We discuss their applicability to representation and analysis of incomplete information. We provide axiom systems for these logics and we prove their completeness.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Moshe Kroy (1976). Mentalism and Modal Logic: A Study in the Relations Between Logical and Metaphysical Systems. Athenaion.score: 124.0
  6. Frederic B. Fitch (1973). A Correlation Between Modal Reduction Principles and Properties of Relations. Journal of Philosophical Logic 2 (1):97 - 101.score: 120.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Krister Segerberg (1970). Modal Logics with Linear Alternative Relations. Theoria 36 (3):301-322.score: 120.0
  8. Krister Segerberg (1986). Modal Logics with Functional Alternative Relations. Notre Dame Journal of Formal Logic 27 (4):504-522.score: 120.0
  9. Mary-Anne Williams, Thomas Meyer, Basic Infobase Change, David Billington & Andrew Rock (2001). Witold A. Pogorzelski, Piotr Wojtylak/Cn-Defini-Tions of Propositional Connectives 1 Su Gao, Peter Gerdes/Computably Enumerable Equiva-Lence Relations 27 Yoshihito Tanaka/Model Existence in Non-Compact Modal. [REVIEW] Studia Logica 67:439-440.score: 120.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Gebhard Fuhrken (1959). Review: Chandler Davis, Modal Operators, Equivalence Relations, and Projective Algebras. [REVIEW] Journal of Symbolic Logic 24 (3):253-253.score: 120.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Robin Hirsch, Ian Hodkinson, Maarten Marx, Szabolsc Mikulás & Mark Reynolds (1999). Mosaics and Step-by-Step. Remarks on “A Modal Logic of Relations”. In E. Orłowska (ed.), Logic at Work. Heidelberg.score: 120.0
    No categories
     
    My bibliography  
     
    Export citation  
  12. Robin Hirsch & Ian Hodkinson (1999). Mosaics and Step-by-Step| Remarks onA Modal Logic of Relations' by Venema & Marx. In E. Orłowska (ed.), Logic at Work. Heidelberg.score: 120.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Hans Smessaert (2009). On the 3d Visualisation of Logical Relations. Logica Universalis 3 (2):303-332.score: 102.0
    The central aim of this paper is to present a Boolean algebraic approach to the classical Aristotelian Relations of Opposition, namely Contradiction and (Sub)contrariety, and to provide a 3D visualisation of those relations based on the geometrical properties of Platonic and Archimedean solids. In the first part we start from the standard Generalized Quantifier analysis of expressions for comparative quantification to build the Comparative Quantifier Algebra CQA. The underlying scalar structure allows us to define the Aristotelian relations (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Dimiter Vakarelov (2008). A Modal Approach to Dynamic Ontology: Modal Mereotopology. Logic and Logical Philosophy 17 (1-2):163-183.score: 102.0
    In this paper we show how modal logic can be applied in the axiomatizations of some dynamic ontologies. As an example we consider the case of mereotopology, which is an extension of mereology with some relations of topological nature like contact relation. We show that in the modal extension of mereotopology we may define some new mereological and mereotopological relations with dynamic nature like stable part-of and stable contact. In some sense such “stable” relations can (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  15. Susanne Bobzien (1993). Chrysippus' Modal Logic and Its Relation to Philo and Diodorus. In K. Doering & Th Ebert (eds.), Dialektiker und Stoiker. Franz Steiner. 63--84.score: 96.0
    ABSTRACT: The modal systems of the Stoic logician Chrysippus and the two Hellenistic logicians Philo and Diodorus Cronus have survived in a fragmentary state in several sources. From these it is clear that Chrysippus was acquainted with Philo’s and Diodorus’ modal notions, and also that he developed his own in contrast of Diodorus’ and in some way incorporated Philo’s. The goal of this paper is to reconstruct the three modal systems, including their modal definitions and (...) theorems, and to make clear the exact relations between them; moreover, to elucidate the philosophical reasons that may have led Chrysippus to modify his predessors’ modal concept in the way he did. It becomes apparent that Chrysippus skillfully combined Philo’s and Diodorus’ modal notions, with making only a minimal change to Diodorus’ concept of possibility; and that he thus obtained a modal system of modalities (logical and physical) which fit perfectly fit into Stoic philosophy. (shrink)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. Jesse Hughes, Albert Esterline & Bahram Kimiaghalam (2006). Means-End Relations and a Measure of Efficacy. Journal of Logic, Language and Information 15 (1-2):83-108.score: 84.0
    Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic features common to much practical reasoning involving means and ends. We alter the semantics for PDL by adding probabilities to the transition systems and interpreting dynamic formulas 〈α〉 ϕ as fuzzy predicates about the reliability of α as a means to ϕ. This gives our semantics a measure of efficacy for means-end relations.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. Lloyd Humberstone (2007). Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCsK Fragment of S. [REVIEW] Journal of Philosophical Logic 36 (5):435 - 487.score: 72.0
    We recapitulate (Section 1) some basic details of the system of implicative BCSK logic, which has two primitive binary implicational connectives, and which can be viewed as a certain fragment of the modal logic S5. From this modal perspective we review (Section 2) some results according to which the pure sublogic in either of these connectives (i.e., each considered without the other) is an exact replica of the material implication fragment of classical propositional logic. In Sections 3 and (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  18. Lloyd Humberstone (2006). Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCsK Fragment of S. [REVIEW] Journal of Philosophical Logic 35 (5):435 - 487.score: 72.0
    We recapitulate (Section 1) some basic details of the system of implicative BCSK logic, which has two primitive binary implicational connectives, and which can be viewed as a certain fragment of the modal logic S5. From this modal perspective we review (Section 2) some results according to which the pure sublogic in either of these connectives (i.e., each considered without the other) is an exact replica of the material implication fragment of classical propositional logic. In Sections 3 and (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  19. Eric Swanson (2010). On Scope Relations Between Quantifiers and Epistemic Modals. Journal of Semantics 27 (4):529-540.score: 70.0
    This paper presents and discusses a range of counterexamples to the common view that quantifiers cannot take scope over epistemic modals. Some of the counterexamples raise problems for ‘force modifier’ theories of epistemic modals. Some of the counterexamples raise problems for Robert Stalnaker’s theory of counterfactuals, according to which a special kind of epistemic modal must be able to scope over a whole counterfactual. Finally, some of the counterexamples suggest that David Lewis must countenance ‘would’ counterfactuals in which a (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  20. Joanna Golinska-Pilarek, Emilio Munoz-Velasco & Angel Mora (2012). Relational Dual Tableau Decision Procedure for Modal Logic K. Logic Journal of Igpl 20 (4):747-756.score: 70.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  21. Angel Mora, Emilio Munoz Velasco & Joanna Golinska-Pilarek (2011). Implementing a Relational Theorem Prover for Modal Logic K. International Journal of Computer Mathematics 88 (9):1869-1884.score: 70.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  22. Kathrin Glüer & Peter Pagin (2008). Relational Modality. Journal of Logic, Language and Information 17 (3):307-322.score: 68.0
    Saul Kripke’s thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs (b) Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  23. Peter Pagin (2008). Relational Modality. Journal of Logic, Language and Information 17 (3):307-322.score: 68.0
    Saul Kripke’s thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like Aristotle might have been fond of dogsConcerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold for definite descriptions. (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  24. L. Lismont (1994). Common Knowledge: Relating Anti-Founded Situation Semantics to Modal Logic Neighbourhood Semantics. [REVIEW] Journal of Logic, Language and Information 3 (4):285-302.score: 68.0
    Two approaches for defining common knowledge coexist in the literature: the infinite iteration definition and the circular or fixed point one. In particular, an original modelization of the fixed point definition was proposed by Barwise (1989) in the context of a non-well-founded set theory and the infinite iteration approach has been technically analyzed within multi-modal epistemic logic using neighbourhood semantics by Lismont (1993). This paper exhibits a relation between these two ways of modelling common knowledge which seem at (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  25. Norman M. Swartz, Foreknowledge and Free Will. Internet Encyclopedia of Philosophy.score: 66.0
    Suppose it were known, by someone else, what you are going to choose to do tomorrow. Wouldn't that entail that tomorrow you must do what it was known in advance that you would do? In spite of your deliberating and planning, in the end, all is futile: you must choose exactly as it was earlier known that you would. The supposed exercise of your free will is ultimately an illusion. Historically, the tension between foreknowledge and the exercise of free will (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Sam Cowling (2012). Haecceitism for Modal Realists. Erkenntnis 77 (3):399-417.score: 66.0
    In this paper, I examine the putative incompatibility of three theses: (1) Haecceitism, according to which some maximal possibilities differ solely in terms of the non-qualitative or de re possibilities they include; (2) Modal correspondence, according to which each maximal possibility is identical with a unique possible world; (3) Counterpart theory, according to which de re modality is analyzed in terms of counterpart relations between individuals. After showing how the modal realism defended by David Lewis resolves this (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  27. Xavier Caicedo & Ricardo O. Rodriguez (2010). Standard Gödel Modal Logics. Studia Logica 94 (2):189 - 214.score: 66.0
    We prove strong completeness of the □-version and the ◊-version of a Gödel modal logic based on Kripke models where propositions at each world and the accessibility relation are both infinitely valued in the standard Gödel algebra [0,1]. Some asymmetries are revealed: validity in the first logic is reducible to the class of frames having two-valued accessibility relation and this logic does not enjoy the finite model property, while validity in the second logic requires truly fuzzy accessibility relations (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  28. Gilbert T. Null (2007). The Ontology of Intentionality II: Dependence Ontology as Prolegomenon to Noetic Modal Semantics. [REVIEW] Husserl Studies 23 (2):119-159.score: 66.0
    This is the second in a sequence of three essays which axiomatize and apply Edmund Husserl's dependence ontology of parts and wholes as a non-Diodorean, non-Kantian temporal semantics for first-order predicate modal languages. The Ontology of Intentionality I introduced enough of Husserl's dependence-ontology of parts and wholes to formulate his account of order as effected by relating moments of unity, and The Ontology of Intentionality II extends that axiomatic dependence-ontology far enough to enable its semantic application. Formalizing the compatibility (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  29. Jan Heylen (2013). Modal-Epistemic Arithmetic and the Problem of Quantifying In. Synthese 190 (1):89-111.score: 66.0
    The subject of this article is Modal-Epistemic Arithmetic (MEA), a theory introduced by Horsten to interpret Epistemic Arithmetic (EA), which in turn was introduced by Shapiro to interpret Heyting Arithmetic. I will show how to interpret MEA in EA such that one can prove that the interpretation of EA is MEA is faithful. Moreover, I will show that one can get rid of a particular Platonist assumption. Then I will discuss models for MEA in light of the problems of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  30. Edward N. Zalta, The Theory of Relations, Complex Terms, and a Connection Between Λ and Ε Calculi.score: 66.0
    This paper introduces a new method of interpreting complex relation terms in a second-order quantified modal language. We develop a completely general second-order modal language with two kinds of complex terms: one kind for denoting individuals and one kind for denoting n-place relations. Several issues arise in connection with previous, algebraic methods for interpreting the relation terms. The new method of interpreting these terms described here addresses those issues while establishing an interesting connection between λ and ε (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Ernst Zimmermann (2003). Elementary Definability and Completeness in General and Positive Modal Logic. Journal of Logic, Language and Information 12 (1):99-117.score: 66.0
    The paper generalises Goldblatt's completeness proof for Lemmon–Scott formulas to various modal propositional logics without classical negation and without ex falso, up to positive modal logic, where conjunction and disjunction, andwhere necessity and possibility are respectively independent.Further the paper proves definability theorems for Lemmon–Scottformulas, which hold even in modal propositional languages without negation and without falsum. Both, the completeness theorem and the definability theoremmake use only of special constructions of relations,like relation products. No second order logic, (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  32. Susanne Bobzien (1986). Die Stoische Modallogik (Stoic Modal Logic). Königshausen & Neumann.score: 66.0
    ABSTRACT: Part 1 discusses the Stoic notion of propositions (assertibles, axiomata): their definition; their truth-criteria; the relation between sentence and proposition; propositions that perish; propositions that change their truth-value; the temporal dependency of propositions; the temporal dependency of the Stoic notion of truth; pseudo-dates in propositions. Part 2 discusses Stoic modal logic: the Stoic definitions of their modal notions (possibility, impossibility, necessity, non-necessity); the logical relations between the modalities; modalities as properties of propositions; contingent propositions; the relation (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano (1998). Encoding Modal Logics in Logical Frameworks. Studia Logica 60 (1):161-208.score: 66.0
    We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deduction-style proof systems for representing both truth (local) and validity (global) consequence relations for various Modal Logics. We introduce several techniques for encoding the structural peculiarities of necessitation rules, in the typed -calculus metalanguage of the Logical Frameworks. These formalizations yield readily proof-editors for Modal Logics when implemented in Proof Development Environments, such as Coq (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  34. Tim Fernando (1999). A Modal Logic for Non-Deterministic Discourse Processing. Journal of Logic, Language and Information 8 (4):445-468.score: 66.0
    A modal logic for translating a sequence of English sentences to a sequence of logical forms is presented, characterized by Kripke models with points formed from input/output sequences, and valuations determined by entailment relations. Previous approaches based (to one degree or another) on Quantified Dynamic Logic are embeddable within it. Applications to presupposition and ambiguity are described, and decision procedures and axiomatizations supplied.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  35. Bob Hale (2013). Necessary Beings: An Essay on Ontology, Modality, and the Relations Between Them. Oup Oxford.score: 66.0
    Bob Hale presents a broadly Fregean approach to metaphysics, according to which ontology and modality are mutually dependent upon one another. He argues that facts about what kinds of things exist depend on facts about what is possible. Modal facts are fundamental, and have their basis in the essences of things--not in meanings or concepts.
    No categories
     
    My bibliography  
     
    Export citation  
  36. Elsi Kaiser (2012). Taking Action: A Cross-Modal Investigation of Discourse-Level Representations. Frontiers in Psychology 3.score: 66.0
    Segmenting stimuli into events and understanding the relations between those events is crucial for understanding the world. For example, on the linguistic level, successful language use requires the ability to recognize semantic coherence relations between events (e.g. causality, similarity). However, relatively little is known about the mental representation of discourse structure. We report two experiments that used a cross-modal priming paradigm to investigate how humans represent the relations between events. Participants repeated a motor action modeled by (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  37. 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: 64.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 (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  38. Gunnar Björnsson (2004). A Naturalist's Approach to Modal Intuitions. In Erik Weber Tim De Mey (ed.), Modal Epistemology.score: 60.0
    Modal inquiry is plagued by methodological problems. The best-developed views on modal semantics and modal ontology take modalstatements to be true in virtue of relations between possible worlds. Unfortunately, such views turn modal epistemology into a mystery, and this paper is about ways to avoid that problem. It looks at different remedies suggested by Quine, Blackburn and Peacocke and finds them all wanting. But although Peacocke’s version of the popular conceptualist approach fails to give a (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  39. Georges Hansoul & Bruno Teheux (2013). Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics. Studia Logica 101 (3):505-545.score: 58.0
    This paper presents an algebraic approach of some many-valued generalizations of modal logic. The starting point is the definition of the [0, 1]-valued Kripke models, where [0, 1] denotes the well known MV-algebra. Two types of structures are used to define validity of formulas: the class of frames and the class of Ł n -valued frames. The latter structures are frames in which we specify in each world u the set (a subalgebra of Ł n ) of the allowed (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  40. Marco Hollenberg (1997). An Equational Axiomatization of Dynamic Negation and Relational Composition. Journal of Logic, Language and Information 6 (4):381-401.score: 58.0
    We consider algebras on binary relations with two main operators: relational composition and dynamic negation. Relational composition has its standard interpretation, while dynamic negation is an operator familiar to students of Dynamic Predicate Logic (DPL) (Groenendijk and Stokhof, 1991): given a relation R its dynamic negation R is a test that contains precisely those pairs (s,s) for which s is not in the domain of R. These two operators comprise precisely the propositional part of DPL.This paper contains a finite (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  41. Francisco M. García Olmedo & Antonio J. Rodríguez Salas (1995). Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation Between Time and Necessity. Mathematical Logic Quarterly 41 (1):24-38.score: 58.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42. Allen Hazen (1976). Expressive Completeness in Modal Language. Journal of Philosophical Logic 5 (1):25--46.score: 54.0
    The logics of the modal operators and of the quantifiers show striking analogies. The analogies are so extensive that, when a special class of entities (possible worlds) is postulated, natural and non-arbitrary translation procedures can be defined from the language with the modal operators into a purely quantificational one, under which the necessity and possibility operators translate into universal and existential quantifiers. In view of this I would be willing to classify the modal operators as ‘disguised’ quantifiers, (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  43. George Bealer (1979). Theories of Properties, Relations, and Propositions. Journal of Philosophy 76 (11):634-648.score: 54.0
    This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  44. Bettina Walde (2005). On Epistemic and Ontological Aspects of Consciousness: Modal Arguments and Their Possible Implications. Mind and Matter 3 (2):103-115.score: 54.0
    Anti-materialist thought experiments as, e.g., zombie arguments, have posed some of the most vexing problems for materialist accounts of phenomenal consciousness. I doubt, however, that arguments of this kind can refute the core thesis of materialism. Although I do not question that there is something very special about an adequate explanation of phenomenal consciousness, and although I accept the epistemic irreducibility of phenomenal consciousness, I deny that modal arguments reach far enough to establish essentialism about consciousness. I will draw (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. David Hunter (2007). Common Ground and Modal Disagreement. In H. V. Hanson (ed.), Dissensus and the Search for Common Ground. 134-143.score: 54.0
    The common ground in an inquiry consists of what the participants agree on, at least for the sake of the inquiry. The relations between the factual and linguistic components of common ground are notoriously difficult to trace. I clarify them by exploring how modal disagreements – disagreements about how things might be – interact with the linguistic and the factual common ground. I argue that modal agreement is essential to common ground of any kind.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  46. Edward N. Zalta (1993). A Philosophical Conception of Propositional Modal Logic. Philosophical Topics 21 (2):263-281.score: 54.0
    The author revises the formulation of propositional modal logic by interposing a domain of structured propositions between the modal language and the models. Interpretations of the language (i.e., ways of mapping the language into the domain of propositions) are distinguished from models of the domain of propositions (i.e., ways of assigning truth values to propositions at each world), and this contrasts with the traditional formulation. Truth and logical consequence are defined, in the first instance, as properties of, and (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  47. Edward N. Zalta (1997). The Modal Object Calculus and its Interpretation. In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer. 249--279.score: 54.0
    The modal object calculus is the system of logic which houses the (proper) axiomatic theory of abstract objects. The calculus has some rather interesting features in and of itself, independent of the proper theory. The most sophisticated, type-theoretic incarnation of the calculus can be used to analyze the intensional contexts of natural language and so constitutes an intensional logic. However, the simpler second-order version of the calculus couches a theory of fine-grained properties, relations and propositions and serves as (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  48. Milan Božić & Kosta Došen (1984). Models for Normal Intuitionistic Modal Logics. Studia Logica 43 (3):217 - 245.score: 54.0
    Kripke-style models with two accessibility relations, one intuitionistic and the other modal, are given for analogues of the modal systemK based on Heyting's prepositional logic. It is shown that these two relations can combine with each other in various ways. Soundness and completeness are proved for systems with only the necessity operator, or only the possibility operator, or both. Embeddings in modal systems with several modal operators, based on classical propositional logic, are also considered. (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  49. Greg Ray (1996). Ontology-Free Modal Semantics. Journal of Philosophical Logic 25 (4):333 - 361.score: 54.0
    The problem with model-theoretic modal semantics is that it provides only the formal beginnings of an account of the semantics of modal languages. In the case of non-modal language, we bridge the gap between semantics and mere model theory, by claiming that a sentence is true just in case it is true in an intended model. Truth in a model is given by the model theory, and an intended model is a model which has as domain the (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  50. Marko Malink (2006). A Reconstruction of Aristotle's Modal Syllogistic. History and Philosophy of Logic 27 (2):95-141.score: 54.0
    Ever since ?ukasiewicz, it has been opinio communis that Aristotle's modal syllogistic is incomprehensible due to its many faults and inconsistencies, and that there is no hope of finding a single consistent formal model for it. The aim of this paper is to disprove these claims by giving such a model. My main points shall be, first, that Aristotle's syllogistic is a pure term logic that does not recognize an extra syntactic category of individual symbols besides syllogistic terms and, (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000