Switch to: References

Add citations

You must login to add citations.
  1. A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. London, England: College Publications. pp. 348-367.
    Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitution core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with infinitely (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • New Foundations for Imperative Logic Iii: A General Definition of Argument Validity.Peter B. M. Vranas - 2012 - Manuscript in Preparation.
    Besides pure declarative arguments, whose premises and conclusions are declaratives (“you sinned shamelessly; so you sinned”), and pure imperative arguments, whose premises and conclusions are imperatives (“repent quickly; so repent”), there are mixed-premise arguments, whose premises include both imperatives and declaratives (“if you sinned, repent; you sinned; so repent”), and cross-species arguments, whose premises are declaratives and whose conclusions are imperatives (“you must repent; so repent”) or vice versa (“repent; so you can repent”). I propose a general definition of argument (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Objects and Modalities: A Study in the Semantics of Modal Logic.Tero Tulenheimo - 2017 - Cham, Switzerland: Springer Verlag.
    This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • New foundations for imperative logic III: A general definition of argument validity.Peter B. M. Vranas - 2016 - Synthese 193 (6):1703-1753.
    Besides pure declarative arguments, whose premises and conclusions are declaratives, and pure imperative arguments, whose premises and conclusions are imperatives, there are mixed-premise arguments, whose premises include both imperatives and declaratives, and cross-species arguments, whose premises are declaratives and whose conclusions are imperatives or vice versa. I propose a general definition of argument validity: an argument is valid exactly if, necessarily, every fact that sustains its premises also sustains its conclusion, where a fact sustains an imperative exactly if it favors (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Logic and time.John P. Burgess - 1979 - Journal of Symbolic Logic 44 (4):566-582.
    Download  
     
    Export citation  
     
    Bookmark   45 citations