Results 291 to 300 of about 1,731,030 (337)
Some of the next articles are maybe not open access.
Focused Labeled Proof Systems for Modal Logic
Logic Programming and Automated Reasoning, 2015D. Miller, Marco Volpe
semanticscholar +1 more source
MleanCoP: A Connection Prover for First-Order Modal Logic
International Joint Conference on Automated Reasoning, 2014J. Otten
semanticscholar +1 more source
The tumour microenvironment in pancreatic cancer — clinical challenges and opportunities
Nature Reviews Clinical Oncology, 2020Won Jin Ho +2 more
exaly
Materials challenges for trapped-ion quantum computers
Nature Reviews Materials, 2021Kenneth R Brown +2 more
exaly
Modal Logic and Distributed Message Passing Automata
Annual Conference for Computer Science Logic, 2013Antti Kuusisto
semanticscholar +1 more source
Actuality in Propositional Modal Logic
Studia Logica: An International Journal for Symbolic Logic, 2013A. Hazen, Benjamin G. Rin, K. Wehmeier
semanticscholar +1 more source
SEMANTICAL ANALYSIS OF MODAL LOGIC II. NON-NORMAL MODAL PROPOSITIONAL CALCULI
, 2014Saul A. Kripke
semanticscholar +1 more source