Switch to: References

Citations of:

Partiality and Adjointness in Modal Logic

Wesley H. Holliday

In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 313-332 (2014)

Add citations

You must login to add citations.

Modeling future indeterminacy in possibility semantics.Fabrizio Cariani - manuscriptdetails Possibility semantics offers an elegant framework for a semantic analysis of modal logic that does not recruit fully determinate entities such as possible worlds. The present papers considers the application of possibility semantics to the modeling of the indeterminacy of the future. Interesting theoretical problems arise in connection to the addition of object-language determinacy operator. We argue that adding a two-dimensional layer to possibility semantics can help solve these problems. The resulting system assigns to the two-dimensional determinacy operator a well-known (...) Classical Logic, Misc in Logic and Philosophy of Logic Logical Consequence and Entailment in Logic and Philosophy of Logic Metaphysical Indeterminacy in Philosophy of Language Modal Logic in Logic and Philosophy of Logic Possible World Semantics in Philosophy of Language The Open Future in Metaphysics Two-Dimensional Semantics in Philosophy of Language Direct download Export citation Bookmark
Substructural epistemic logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.details The article introduces substructural epistemic logics of belief supported by evidence. The logics combine normal modal epistemic logics with distributive substructural logics. Pieces of evidence are represented by points in substructural models and availability of evidence is modelled by a function on the point set. The main technical result is a general completeness theorem. Axiomatisations are provided by means of two-sorted Hilbert-style calculi. It is also shown that the framework presents a natural solution to the problem of logical omniscience. Doxastic and Epistemic Logic in Logic and Philosophy of Logic Paraconsistent Logic in Logic and Philosophy of Logic Relevance Logic in Logic and Philosophy of Logic Substructural Logic in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 12 citations
Supervenience, Dependence, Disjunction.Lloyd Humberstone - forthcoming - Logic and Logical Philosophy:1.details Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 8 citations
Questions as information types.Ivano Ciardelli - 2018 - Synthese 195 (1):321-365.details This paper argues that questions have an important role to to play in logic, both semantically and proof-theoretically. Semantically, we show that by generalizing the classical notion of entailment to questions, we can capture not only the standard relation of logical consequence, which holds between pieces of information, but also the relation of logical dependency, which holds between information types. Proof-theoretically, we show that questions may be used in inferences as placeholders for arbitrary information of a given type; by manipulating (...) Erotetic Logic in Logic and Philosophy of Logic Philosophy of Information in Philosophy of Computing and Information Questions in Philosophy of Language Direct download (2 more) Export citation Bookmark 17 citations
Actual Issues for Relevant Logics.Shawn Standefer - 2020 - Ergo: An Open Access Journal of Philosophy 7.details In this paper, I motivate the addition of an actuality operator to relevant logics. Straightforward ways of doing this are in tension with standard motivations for relevant logics, but I show how to add the operator in a way that permits one to maintain the intuitions behind relevant logics. I close by exploring some of the philosophical consequences of the addition. Relevance Logic in Logic and Philosophy of Logic Two-Dimensional Semantics in Philosophy of Language Direct download (2 more) Export citation Bookmark 7 citations
What Can You Say? Measuring the Expressive Power of Languages.Alexander Kocurek - 2018 - Dissertation, University of California, Berkeleydetails There are many different ways to talk about the world. Some ways of talking are more expressive than others—that is, they enable us to say more things about the world. But what exactly does this mean? When is one language able to express more about the world than another? In my dissertation, I systematically investigate different ways of answering this question and develop a formal theory of expressive power, translation, and notational variance. In doing so, I show how these investigations (...) Logical Consequence and Entailment in Logic and Philosophy of Logic Modal and Intensional Logic in Logic and Philosophy of Logic Nonclassical Logics in Logic and Philosophy of Logic Translation in Philosophy of Language Direct download Export citation Bookmark 4 citations
O expressivismo lógico de Aristóteles segundo Lucas Angioni: um breve e introdutório quadro teórico.Aislan Fernandes Pereira - 2017 - Books of Abstracts (3rd FILOMENA Workshop).details History of Western Philosophy, Misc Direct download (2 more) Export citation Bookmark

1