Switch to: References

Add citations

You must login to add citations.
  1. Model Theoretical Aspects of Weakly Aggregative Modal Logic.Jixin Liu, Yifeng Ding & Yanjing Wang - 2022 - Journal of Logic, Language and Information 31 (2):261-286.
    Weakly Aggregative Modal Logic ) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. \ has interesting applications on epistemic logic, deontic logic, and the logic of belief. In this paper, we study some basic model theoretical aspects of \. Specifically, we first give a van Benthem–Rosen characterization theorem of \ based on an intuitive notion of bisimulation. Then, in contrast to many well known normal or non-normal modal logics, we show that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • The preservation of coherence.R. E. Jennings & P. K. Schotch - 1984 - Studia Logica 43:89.
    It is argued that the preservation of truth by an inference relation is of little interest when premiss sets are contradictory. The notion of a level of coherence is introduced and the utility of modal logics in the semantic representation of sets of higher coherence levels is noted. It is shown that this representative role cannot be transferred to first order logic via frame theory since the modal formulae expressing coherence level restrictions are not first order definable. Finally, an inference (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  • On the completeness of first degree weakly aggregative modal logics.Peter Apostoli - 1997 - Journal of Philosophical Logic 26 (2):169-180.
    This paper extends David Lewis' result that all first degree modal logics are complete to weakly aggregative modal logic by providing a filtration-theoretic version of the canonical model construction of Apostoli and Brown. The completeness and decidability of all first-degree weakly aggregative modal logics is obtained, with Lewis's result for Kripkean logics recovered in the case k = 1.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • A solution to the completeness problem for weakly aggregative modal logic.Peter Apostoli & Bryson Brown - 1995 - Journal of Symbolic Logic 60 (3):832-842.