Igor Sedlár

The paper provides an alternative interpretation of ‘pair points’, discussed in Beall et al., "On the ternary relation and conditionality", J. of Philosophical Logic 41(3), 595-612. Pair points are seen as points viewed from two different ‘perspectives’ and the latter are explicated in terms of two independent valuations. The interpretation is developed into a semantics using pairs of Kripke models (‘pair models’). It is demonstrated that, if certain conditions are fulfilled, pair models are validity-preserving copies of positive substructural models. This yields a general soundness and completeness result for a variety of (positive) substructural logics with respect to multimodal Kripke frames with binary accessibility relations. In addition, an epistemic interpretation of pair models is provided.

The primary aim of the paper is to introduce a new notion of relevance of the antecedent of a true implication statement to its consequent, and to sketch a formalization of the new notion. The formalization is set up in the framework of the so called Logic of Strict Processes , as articulated by the author in collaboration with J. Podroužek. Their approach to the relevance is presented as a natural part of a wider specter of logics, including modal and relevance logics. The formalization is compared with consequence relations in normal modal logic and in the relevance logic R. In conclusion the author outlines the most important problems of LSP, which still remain open

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

This article opposes a view widely accepted in studies concerning the history of modal logic, according to which (i) the approach of C. I. Lewis towards constructing modern modal logic was purely syntactical (i.e. limited to the construction of axiomatic systems S1-S5 of propositional modal logic), and (ii) the notion of a possible world was incorporated into modern logic and philosophy mainly by authors such as Rudolf Carnap and Saul Kripke. The article presents Lewis' definition of a possible world, and his formulation of the truth-conditions of statements containing strict implication as their main connective in terms of possible worlds. The main question of the article is whether it is possible to consider Lewis' work in this area as an early stage of the development of possible world semantics, and if so, in what sense? The article concludes by answering affirmatively, due to soundness and completeness proofs with respect to S5 using Lewis' semantics

The article introduces extended models for the propositional dynamic logic PDL. In extended models, valuation assigns to every state a set of atomic formulas and a PDL program. The program is informally construed as an action preferred by a contextually fixed agent. PDL is then extended by introducing a conditional connective expressing partial correctness claims. The main contribution of the article is the observation that the partial correctness conditional is in fact a substructural implication. It is shown that a variant of the minimal distributive substructural logic DB is a fragment of PDLS, an extension of PDL that contains the partial correctness conditional and fusion. It is also shown that the main results can be extended to a specific class of positive substructural logics.

The question, whether there is a sharp difference between an analytic and a synthetic proposition, is one of the famous philosophical topics of the 20th century. The question, however, urges one to ask following questions: "What is an analytic proposition?", or „What is a synthetic proposition?“. The aim of the paper is to contribute to the discussions of the analyticity in that it tries to answer the first of the two. However, the author does not offer his own conception of analyticity. He rather offers a more detailed view on the definitions and characteristics of an analytic proposition in Kant and Frege

The paper relates evidence and justification logics, both philosophically and technically. On the philosophical side, it is suggested that the difference between the approaches to evidence in the two families of logics can be explained as a result of their focusing on two different notions of support provided by evidence. On the technical side, a justification logic with operators pertaining to both kinds of support is shown to be sound and complete with respect to a special class of awareness models. In addition, a realization theorem with respect to K is shown to hold for the logic.