Blogs about: Modal Logic
Featured Blog
New paper about a generalization of FRP and causality in categorical models
Yesterday I finished my new paper Temporal Logic with “Until”, Functional Reactive Programming with Processes, and Concrete Process Categories, which will appear in the proceedings of PLPV ’13 an… more →
Wolfgang Jeltsch
The Current State of Massage Therapy
wrote 3 months ago: Massage therapy has been practiced throughout the ages and throughout the development of all of the … more →
GKN 2013 : Modal Usaha Up to 25 Juta
— 4 comments
wrote 3 months ago: Satu lagi nih kawan info lomba wirausaha. Mayan loh buat proposal yang terpilih bisa mendapatkan pen … more →
...from the Album Porgy and Bess (Ella & Louis)
wrote 3 months ago: One of the most memorable songs from the Gershwin opera Porgy and Bess. Apart from raising serious d … more →
Ontology gone wild!
wrote 4 months ago: Whilst lay people wouldn’t come upon these arguments generally, they rank no worse than other … more →
Logical Escapism: Sci-fi and Possible Worlds
wrote 5 months ago: Why do we love science-fiction? For those of us that engage with it, it’s easy to be immersed in wor … more →
New paper about a generalization of FRP and causality in categorical models
wrote 6 months ago: Yesterday I finished my new paper Temporal Logic with “Until”, Functional Reactive Programming with … more →
Introduction to Logic I
wrote 6 months ago: The main purpose of the following set of articles is to review my personal knowledge on logic. They … more →
Common Logical Misidentifications
wrote 6 months ago: “So what you’re saying is…” Ever notice how whatever follows the above line … more →
Michael J. Loux on “The Necessary and the Possible” (2006)
wrote 6 months ago: In his book Metaphysics: A Contemporary Introduction (2006) [1], Michael J. Loux tackles the problem … more →
Some Basics of Modal Epistemology
— 1 comment
wrote 7 months ago: I have been thinking a lot lately about a particular domain in the theory of knowledge called modal … more →
Paper on categorical models of temporal logic and FRP published
— 1 comment
wrote 7 months ago: My MFPS ’12 paper Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Function … more →
Further Reflections on the Prosblogion Survey
wrote 9 months ago: I’ve taken the Prosblogion survey several times now, and I’m convinced that, given the c … more →
The Thesis of Modal Realism
— 11 comments
wrote 9 months ago: A few post ago I was talking about formal systems. As an example I talked a little about Hofstadter … more →
Revised Meta Modal Ontological Argument in QML
— 5 comments
wrote 10 months ago: Several weeks ago I posted an ontological argument that I had hoped would overcome many of the power … more →
Slides of my MFPS talk now online
wrote 10 months ago: MFPS took place a month ago, and today I finally managed to publish the slides of my talk . The topi … more →
Some Objections to Plantinga's Modal Ontological Argument
— 12 comments
wrote 10 months ago: In his book The Nature of Necessity, Alvin Plantinga formulated a modal version of the Ontological A … more →
Talk about categorical models of temporal logic and FRP
— 1 comment
wrote 1 year ago: I recently gave a talk about the main points of my MFPS ’12 paper. The title of the talk was Categor … more →
Category theory crash course
— 1 comment
wrote 1 year ago: I recently gave an introduction to category theory at the Institute of Cybernetics. This crash cours … more →
New paper about categorical models of temporal logic and FRP
— 4 comments
wrote 1 year ago: Temporal logic and functional reactive programming are related via a Curry–Howard correspondence, as … more →
