Quantification of Modal Propositions in Traditional Logic
Abstract: Modal systems did not emerge until recently with Lewis Clarence, who raised the issue of strict implication. Although modal systems have evolved and diversified significantly since then, they remain loyal to his frameworks, as they are considered foundational in modal logic. In 1940, the A...
        Saved in:
      
    
          | Main Author: | Hayat TRIKI & Nacer HADJ AZZEM | 
|---|---|
| Format: | Article | 
| Language: | deu | 
| Published: | CRAC, INSAAC
    
        2024-12-01 | 
| Series: | Akofena | 
| Online Access: | https://www.revueakofena.com/wp-content/uploads/2024/11/20-D14v04-03-Hayat-TRIKI-Nacer-HADJ-AZZEM_227-240.pdf | 
| Tags: | Add Tag 
      No Tags, Be the first to tag this record!
   | 
Similar Items
- 
                
                    Tableaus for finitely-valued modal propositional logics        
                          
 by: Jūratė Sakalauskaitė
 Published: (1998-12-01)
- 
                
                    From sensory to propositional modality        
                          
 by: Jean-Rémi Lapaire
 Published: (2006-06-01)
- 
                
                    Sequent calculus for propositional likelihood logic        
                          
 by: Romas Alonderis
 Published: (2023-09-01)
- 
                
                    Grouping based calculus for propositional linear temporal logic        
                          
 by: Kostas Ragauskas, et al.
 Published: (2024-12-01)
- 
                
                    A Proof Calculus for Automated Deduction in Propositional Product Logic        
                          
 by: Dušan Guller
 Published: (2024-12-01)
 
       