Hybrid Logic

[Revised entry by Torben Braüner on March 24, 2017. Changes to: Main text] Hybrid logics are logics that result by adding further expressive power to ordinary modal logic. The most basic hybrid
Philosophy News image
[Revised entry by Torben Braüner on March 24, 2017. Changes to: Main text] Hybrid logics are logics that result by adding further expressive power to ordinary modal logic. The most basic hybrid logic is obtained by adding so-called nominals which are propositional symbols of a new sort, each being true at exactly one possible world. The history of hybrid logic goes back to Arthur N. Prior's work in the 1960s....

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus