Simulation logic. Allwein, G., Harrison, W., & Andrews, D. *Logic and Logical Philosophy*, 2013. Paper abstract bibtex Simulation relations have been discovered in many areas: Computer Science, philosophical and modal logic, and set theory. However, the simulation condition is strictly a first-order logic statement. We extend modal logic with modalities and axioms, the latter's modeling conditions are the simulation conditions. The modalities are normal, i.e., commute with either conjunctions or disjunctions and preserve either Truth or Falsity (respectively). The simulations are considered arrows in a category where the objects are descriptive, general frames. One can augment the simulation modalities by axioms for requiring the underlying modeling simulations to be bisimulations or to be p-morphisms. The modal systems presented are multi-sorted and both sound and complete with respect to their algebraic and Kripke semantics.

@article{LLP13,
author = {Gerard Allwein and William Harrison and David Andrews},
title = {Simulation logic},
journal = {Logic and Logical Philosophy},
volume = {0},
number = {0},
year = {2013},
keywords = {modal logic; simulations; Hilbert systems; Kripke; modal algebras},
abstract = {Simulation relations have been discovered in many areas: Computer Science, philosophical and modal logic, and set theory. However, the simulation condition is strictly a first-order logic statement. We extend modal logic with modalities and axioms, the latter's modeling conditions are the simulation conditions. The modalities are normal, i.e., commute with either conjunctions or disjunctions and preserve either Truth or Falsity (respectively). The simulations are considered arrows in a category where the objects are descriptive, general frames. One can augment the simulation modalities by axioms for requiring the underlying modeling simulations to be bisimulations or to be p-morphisms. The modal systems presented are multi-sorted and both sound and complete with respect to their algebraic and Kripke semantics.},
url_Paper = "https://harrisonwl.github.io/assets/papers/llp2014.pdf",
}

Downloads: 0

{"_id":"fgyBM295H8zCxbouC","bibbaseid":"allwein-harrison-andrews-simulationlogic-2013","downloads":0,"creationDate":"2016-07-28T19:31:33.116Z","title":"Simulation logic","author_short":["Allwein, G.","Harrison, W.","Andrews, D."],"year":2013,"bibtype":"article","biburl":"https://harrisonwl.github.io/assets/bibliography/harrison.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Gerard"],"propositions":[],"lastnames":["Allwein"],"suffixes":[]},{"firstnames":["William"],"propositions":[],"lastnames":["Harrison"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Andrews"],"suffixes":[]}],"title":"Simulation logic","journal":"Logic and Logical Philosophy","volume":"0","number":"0","year":"2013","keywords":"modal logic; simulations; Hilbert systems; Kripke; modal algebras","abstract":"Simulation relations have been discovered in many areas: Computer Science, philosophical and modal logic, and set theory. However, the simulation condition is strictly a first-order logic statement. We extend modal logic with modalities and axioms, the latter's modeling conditions are the simulation conditions. The modalities are normal, i.e., commute with either conjunctions or disjunctions and preserve either Truth or Falsity (respectively). The simulations are considered arrows in a category where the objects are descriptive, general frames. One can augment the simulation modalities by axioms for requiring the underlying modeling simulations to be bisimulations or to be p-morphisms. The modal systems presented are multi-sorted and both sound and complete with respect to their algebraic and Kripke semantics.","url_paper":"https://harrisonwl.github.io/assets/papers/llp2014.pdf","bibtex":"@article{LLP13,\n\tauthor = {Gerard Allwein and William Harrison and David Andrews},\n\ttitle = {Simulation logic},\n\tjournal = {Logic and Logical Philosophy},\n\tvolume = {0},\n\tnumber = {0},\n\tyear = {2013},\n\tkeywords = {modal logic; simulations; Hilbert systems; Kripke; modal algebras},\n\tabstract = {Simulation relations have been discovered in many areas: Computer Science, philosophical and modal logic, and set theory. However, the simulation condition is strictly a first-order logic statement. We extend modal logic with modalities and axioms, the latter's modeling conditions are the simulation conditions. The modalities are normal, i.e., commute with either conjunctions or disjunctions and preserve either Truth or Falsity (respectively). The simulations are considered arrows in a category where the objects are descriptive, general frames. One can augment the simulation modalities by axioms for requiring the underlying modeling simulations to be bisimulations or to be p-morphisms. The modal systems presented are multi-sorted and both sound and complete with respect to their algebraic and Kripke semantics.},\n url_Paper = \"https://harrisonwl.github.io/assets/papers/llp2014.pdf\",\n}\n\n","author_short":["Allwein, G.","Harrison, W.","Andrews, D."],"key":"LLP13","id":"LLP13","bibbaseid":"allwein-harrison-andrews-simulationlogic-2013","role":"author","urls":{" paper":"https://harrisonwl.github.io/assets/papers/llp2014.pdf"},"keyword":["modal logic; simulations; Hilbert systems; Kripke; modal algebras"],"metadata":{"authorlinks":{"harrison, w":"https://harrisonwl.github.io/"}},"html":""},"search_terms":["simulation","logic","allwein","harrison","andrews"],"keywords":["modal logic; simulations; hilbert systems; kripke; modal algebras"],"authorIDs":["5dc475579b60c2df010000fb","5dee581feaaee4df01000254","5df9dbe338a7afde010000b8","5e03c9676d2066de01000013","5e2b8df4f92538df01000009","5e55f36cc2c8a2df010000f1","5e64fd0d5fc0b7de010000d4","BPp6pLGb3wvE8tPNi","GrcodozaBpTrw2nXH","NmXf49aeDyLF3AL8F","a66s2jJ42S97qQxnX","iCiuqX2A39oLpzRv9","njB2ZmsnMejPsL7oC","uBWQddfiBuSzTqKrJ","xkL56M792TvXx8Hef"],"dataSources":["wAeScLDKnpPTHdYwg","uCveoExKMHQNZnZCp"]}