Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Reactive Kripke Semantics
Reactive Kripke Semantics
by 
Gabbay, Dov M. author.
https://doi.org/10.1007/978-3-642-41389-6
Format: 
Excerpt: 
Reactive Kripke Semantics Gabbay, Dov M. author.
2. 
Cover image for Conditionals and Modularity in General Logics
Conditionals and Modularity in General Logics
by 
Gabbay, Dov M. author.
https://doi.org/10.1007/978-3-642-19068-1
Format: 
Excerpt: 
Conditionals and Modularity in General Logics Gabbay, Dov M. author.
3. 
Cover image for Logical Tools for Handling Change in Agent-Based Systems
Logical Tools for Handling Change in Agent-Based Systems
by 
Gabbay, Dov M. author.
https://doi.org/10.1007/978-3-642-04407-6
Format: 
Excerpt: 
Logical Tools for Handling Change in Agent-Based Systems Gabbay, Dov M. author.
4. 
Cover image for Mathematical Problems from Applied Logic I Logics for the XXIst Century
Mathematical Problems from Applied Logic I Logics for the XXIst Century
by 
Gabbay, Dov M. editor.
https://doi.org/10.1007/0-387-31072-X
Format: 
Excerpt: 
Mathematical Problems from Applied Logic I Logics for the XXIst Century / Gabbay, Dov M. editor.
5. 
Cover image for Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
by 
Metcalfe, George. author.
https://doi.org/10.1007/978-1-4020-9409-5
Format: 
Excerpt: 
Gabbay, Dov M. author.
6. 
Cover image for Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
by 
Carnielli, Walter. author.
https://doi.org/10.1007/978-1-4020-6782-2
Format: 
Excerpt: 
Gabbay, Dov M. author.