We provide a fine-grained analysis of notions of regret and responsibility (such as agent-regret and individual responsibility) in terms of a language of multimodal logic. This language undergoes a detailed semantic analysis via two sorts of models: (i) relating models, which are equipped with a relation of propositional pertinence, and (ii) synonymy models, which are equipped with a relation of propositional synonymy. We specify a class of strictly relating models and show that each synonymy model can be transformed into an (...) equivalent strictly relating model. Moreover, we define an axiomatic system that captures the notion of validity in the class of all strictly relating models. (shrink)

In this work, we illustrate applications of a semantic framework for non-congruential modal logic based on hyperintensional models. We start by discussing some philosophical ideas behind the approach; in particular, the difference between the set of possible worlds in which a formula is true (its intension) and the semantic content of a formula (its hyperintension), which is captured in a rigorous way in hyperintensional models. Next, we rigorously specify the approach and provide a fundamental completeness theorem. Moreover, we analyse examples (...) of non-congruential systems that can be semantically characterized within this framework in an elegant and modular way. Finally, we compare the proposed framework with some alternatives available in the literature. In the light of the results obtained, we argue that hyperintensional models constitute a basic, general and unifying semantic framework for (non-congruential) modal logic. (shrink)

Pietruszczak (Bull Sect Log 38(3/4):163–171, 2009) proved that the normal logics K45 , KB4 (=KB5), KD45 are determined by suitable classes of simplified Kripke frames of the form ⟨W,A⟩ , where A⊆W. In this paper, we extend this result. Firstly, we show that a modal logic is determined by a class composed of simplified frames if and only if it is a normal extension of K45. Furthermore, a modal logic is a normal extension of K45 (resp. KD45; KB4; S5) if (...) and only if it is determined by a set consisting of finite simplified frames (resp. such frames with A≠∅; such frames with A=W or A=∅; such frames with A=W). Secondly, for all normal extensions of K45, KB4, KD45 and S5, in particular for extensions obtained by adding the so-called “verum” axiom, Segerberg’s formulas and/or their T-versions, we prove certain versions of Nagle’s Fact (J Symbol Log 46(2):319–328, 1981) (which concerned normal extensions of K5). Thirdly, we show that these extensions are determined by certain classes of finite simplified frames generated by finite subsets of the set N of natural numbers. In the case of extensions with Segerberg’s formulas and/or their T-versions these classes are generated by certain finite subsets of N. (shrink)

The paper will study extensions of t-normal logics S0.5o and S0.5 using some axioms of normal logics. We will prove determination theorems for these extensions by appropriate Kripke-style models. It will allow us to obtain the determinations of the logics K45, KB4 (= KB5), KD45 and S5 without using modal rules.