In modal logic, semantic consequence is usually defined locally by truth preservation at all worlds in models (with respect to a class of frames). It can also be globally The latter called global consequence, which much less studied than the standard local one. this paper we first study relationship between and consequence. Then give some correspondence results for Finally, illustrate two appli...

Faroldi argues that deontic modals are hyperintensional and thus traditional modal logic cannot provide an appropriate formalization of situations. To overcome this issue, we introduce novel justification logics as analogues to non-normal logics. We establish soundness completeness with respect various models study the problem realization.

This paper studies a particular interpretation of propositional modal logic into propositional modal logic. Under an epistemic reading of the modality this interpretation can be understood as taking knowledge to be true belief. All normal modal logics of belief that under this definition of knowledge give rise to S5 as the logic of knowledge are determined. And all the normal modal logics of be...

This paper studies a particular interpretation of propositional modal logic into propositional modal logic. Under an epistemic reading of the modality this interpretation can be understood as taking knowledge to be true belief. All normal modal logics of belief that under this definition of knowledge give rise to S5 as the logic of knowledge are determined. And all the normal modal logics of be...

Modal logic programming is one of appropriate approaches to deal with reasoning about epistemic states of agents. We specify here the least model semantics, the fixpoint semantics, and an SLD-resolution calculus for modal logic programs in the multimodal logic KD4Ig5a, which is intended for reasoning about belief and common belief of agents. We prove that the presented SLD-resolution calculus i...

Characterization results for modal logics below first order identifies them as a fragment of first order logic. These results are very important to analyze the expressive power of a given logic. The first work in this direction was done by van Benthem [12] who used bisimulations to characterize the basic modal logic as the bisimulation invariant fragment of first order logic. There exists a hug...

Modal logic is an enormous subject, and so any discussion of it must limit itself according to some set of principles. Modal logic is of interest to mathematicians, philosophers, linguists and computer scientists, for somewhat different reasons. Typically a philosopher may be interested in capturing some aspect of necessary truth, while a mathematician may be interested in characterizing a clas...