1.  2
    Minghui Ma & Ahti-Veikko Pietarinen (forthcoming). Proof Analysis of Peirce’s Alpha System of Graphs. Studia Logica:1-23.
    Charles Peirce’s alpha system \ is reformulated into a deep inference system where the rules are given in terms of deep graphical structures and each rule has its symmetrical rule in the system. The proof analysis of \ is given in terms of two embedding theorems: the system \ and Brünnler’s deep inference system for classical propositional logic can be embedded into each other; and the system \ and Gentzen sequent calculus \ can be embedded into each other.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  41
    Minghui Ma (2010). Toward Model-Theoretic Modal Logics. Frontiers of Philosophy in China 5 (2):294-311.
    Adding certain cardinality quantifiers into first-order language will give substantially more expressive languages. Thus, many mathematical concepts beyond first-order logic can be handled. Since basic modal logic can be seen as the bisimular invariant fragment of first-order logic on the level of models, it has no ability to handle modally these mathematical concepts beyond first-order logic. By adding modalities regarding the cardinalities of successor states, we can, in principle, investigate modal logics of all cardinalities. Thus ways of exploring model-theoretic logics (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  3.  6
    Minghui Ma, Alessandra Palmigiano & Mehrnoosh Sadrzadeh (2014). Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic. Annals of Pure and Applied Logic 165 (4):963-995.
    In the present paper, we start studying epistemic updates using the standard toolkit of duality theory. We focus on public announcements, which are the simplest epistemic actions, and hence on Public Announcement Logic without the common knowledge operator. As is well known, the epistemic action of publicly announcing a given proposition is semantically represented as a transformation of the model encoding the current epistemic setup of the given agents; the given current model being replaced with its submodel relativized to the (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography