Suggested Topics within your search.
Suggested Topics within your search.
1
2
Table of Contents: ';
“...-Symbolic Learning Systems -- Connectionist Modal Logic -- Applications of Connectionist Non-classical...”
Get full text
Get full text
Electronic
3
4
5
6
Published 2013
Table of Contents: ';
“... of Sledgehammer -- Invited Talk 4 -- From Resolution and DPLL to Solving Arithmetic Constraints -- Modal Logic...”Get full text
Electronic
7
by Williamson, Timothy.
Published 2007
Table of Contents: ';
“...: Must do better -- Appendix 1: Modal logic within counterfactual logic -- Appendix 2: Counterfactual...”Published 2007
View fulltext via EzAccess
eBook
8
Published 2013
Table of Contents: ';
“...: Cylindric Modal Logic -- J. van Benthem: Crs and Guarded Logics: A Fruitful Contact -- R. S. Dordevic and M...”View fulltext via EzAccess
Electronic
9
10
11
12
13
Published 2013
Table of Contents: ';
“... in Complex Queries -- Well-Defined NRC Queries Can Be Typed -- Nine Years with Peter Buneman -- Modal Logic...”Get full text
Electronic
14
Published 2013
Table of Contents: ';
“... secure information system using modal logic technique / Yun Bai, Khaled M. Khan -- A formal language...”View fulltext via EzAccess
Electronic
15
16
17
Published 2013
Table of Contents: ';
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”View fulltext via EzAccess
Electronic
18
19
20
Published 2013
Table of Contents: ';
“... Games with Conditional Offers -- Sequent Calculi for Multi-modal Logic with Interaction -- Dynamic...”Get full text
Electronic