Switch to: References

Add citations

You must login to add citations.
  1. Discrete linear temporal logic with current time point clusters, deciding algorithms.V. Rybakov - 2008 - Logic and Logical Philosophy 17 (1-2):143-161.
    The paper studies the logic TL(NBox+-wC) – logic of discrete linear time with current time point clusters. Its language uses modalities Diamond+ (possible in future) and Diamond- (possible in past) and special temporal operations, – Box+w (weakly necessary in future) and Box-w (weakly necessary in past). We proceed by developing an algorithm recognizing theorems of TL(NBox+-wC), so we prove that TL(NBox+-wC) is decidable. The algorithm is based on reduction of formulas to inference rules and converting the rules in special reduced (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  • Lógica clásica y esquizofrenia: por una semántica lúdica.Juan Redmond & Rodrigo Lopez-Orellana - 2018 - Revista de Filosofía 74:215-241.
    En este artículo delineamos una propuesta para elaborar una lógica de las ficciones desde el enfoque lúdico del pragmatismo dialógico. En efecto, centrados en una de las críticas mayores al enfoque clásico de la lógica: la esquizofrenia estructural de su semántica, recorremos los compromisos ontológicos de las dos tradiciones mayores de la lógica para establecer sus posibilidades y límites en el análisis del discurso ficcional, y la superación desde una perspectiva lúdico pragmática.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Logics and algebras for multiple players.Loes Olde Loohuis & Yde Venema - 2010 - Review of Symbolic Logic 3 (3):485-519.
    We study a generalization of the standard syntax and game-theoretic semantics of logic, which is based on a duality between two players, to a multiplayer setting. We define propositional and modal languages of multiplayer formulas, and provide them with a semantics involving a multiplayer game. Our focus is on the notion of equivalence between two formulas, which is defined by saying that two formulas are equivalent if under each valuation, the set of players with a winning strategy is the same (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Context of Inference.Curtis Franks - 2018 - History and Philosophy of Logic 39 (4):365-395.
    There is an ambiguity in the concept of deductive validity that went unnoticed until the middle of the twentieth century. Sometimes an inference rule is called valid because its conclusion is a theorem whenever its premises are. But often something different is meant: The rule's conclusion follows from its premises even in the presence of other assumptions. In many logical environments, these two definitions pick out the same rules. But other environments are context-sensitive, and in these environments the second notion (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Inversion Principles.Enrico Moriconi & Laura Tesconi - 2008 - History and Philosophy of Logic 29 (2):103-113.
    The idea of an ?inversion principle?, and the name itself, originated in the work of Paul Lorenzen in the 1950s, as a method to generate new admissible rules within a certain syntactic context. Some fifteen years later, the idea was taken up by Dag Prawitz to devise a strategy of normalization for natural deduction calculi (this being an analogue of Gentzen's cut-elimination theorem for sequent calculi). Later, Prawitz used the inversion principle again, attributing it with a semantic role. Still working (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  • Dialogical Harmony: tonk, constructive type theory and rules for anonymous players.Juan Redmond & Shahid Rahman - unknown
    Recent literature on dialogical logic discusses the case of tonk and the notion harmony in the context of a rule-based theory of meaning. Now, since the publications of those papers, a dialogical version of constructive type theory has been developed. The aim of the present paper is to show that, from the dialogical point of view, the harmony of the CTT-rules is the consequence of a more fundamental level of meaning characterized by the independence of players. We hope that the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•