Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with modal-logic
Search options not deleted
user 5877
a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality
2
votes
Non-modal approach to necessity and possibility
Non-modal approaches to (de dicto) modality aim to give an analysis of modal concepts where the analysans (the analysing concept) purportedly doesn't involve any modal notions.
Lewis's realism is a …
- 1,388
5
votes
Does necessary possibility entail actuality?
The entailment does not hold in the modal logic S5 and so it also doesn't hold in all weaker normal modal logics (normal in the sense that they validate the K-Axiom □(A→B) → (□A→□B)).
Let a (propo …
- 1,388
4
votes
How to Prove "Possibly P if Necessarily P" in Kripke Modal Logic?
Another hint in the right direction: It's not true that "the weakest logic that proves that formula is T". Rather the weakest logic with that property is D, whose frames F = W, R (I miss LaTex so badl …
- 1,388
2
votes
Classical possible worlds semantics
Yes you can! Possible world semantics for propositional modal logic can be modelled by Boolean algebras with operators. See B. Jonsson and A. Tarski: Boolean Algebras with Operators. American Journal …
- 1,388