Switch to: References

Citations of:

Modal Logic

In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 389–409 (2002)

Add citations

You must login to add citations.
  1. A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents.AnneMarie Borg, Christian Straßer & Ofer Arieli - 2020 - Studia Logica 109 (1):167-238.
    In this paper we introduce hypersequent-based frameworks for the modelling of defeasible reasoning by means of logic-based argumentation and the induced entailment relations. These structures are an extension of sequent-based argumentation frameworks, in which arguments and the attack relations among them are expressed not only by Gentzen-style sequents, but by more general expressions, called hypersequents. This generalization allows us to overcome some of the known weaknesses of logical argumentation frameworks and to prove several desirable properties of the entailments that are (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic.Gianfranco Basti - 2022 - Philosophies 7 (6):121.
    This contribution is an essay of formal philosophy—and more specifically of formal ontology and formal epistemology—applied, respectively, to the philosophy of nature and to the philosophy of sciences, interpreted the former as the ontology and the latter as the epistemology of the modern mathematical, natural, and artificial sciences, the theoretical computer science included. I present the formal philosophy in the framework of the category theory (CT) as an axiomatic metalanguage—in many senses “wider” than set theory (ST)—of mathematics and logic, both (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • McCarthy variations in a modal key.Johan van Benthem - 2011 - Artificial Intelligence 175 (1):428-439.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Logic for update products and steps into the past.Joshua Sack - 2010 - Annals of Pure and Applied Logic 161 (12):1431-1461.
    This paper provides a sound and complete proof system for a language that adds to Dynamic Epistemic Logic a discrete previous-time operator as well as single symbol formulas that partially reveal the most recent event that occurred. The completeness theorem is by filtration followed by model unraveling and other model transformations. Decidability follows from the completeness proof. The degree to which it is important to include the additional single symbol formulas is addressed in a discussion about the difficulties of the (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic.Zhiguang Zhao - 2023 - Studia Logica 111 (6):1057-1082.
    Download  
     
    Export citation  
     
    Bookmark  
  • Best Unifiers in Transitive Modal Logics.Vladimir V. Rybakov - 2011 - Studia Logica 99 (1-3):321-336.
    This paper offers a brief analysis of the unification problem in modal transitive logics related to the logic S4 : S4 itself, K4, Grz and Gödel-Löb provability logic GL . As a result, new, but not the first, algorithms for the construction of ‘best’ unifiers in these logics are being proposed. The proposed algorithms are based on our earlier approach to solve in an algorithmic way the admissibility problem of inference rules for S4 and Grz . The first algorithms for (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations