Results 271 to 280 of about 1,151,417 (307)

A Temporal Logic of Nested Calls and Returns

International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2004
R. Alur, K. Etessami, P. Madhusudan
semanticscholar   +1 more source

Complexity of intuitionistic propositional logic and its fragments

Journal of Applied Non-Classical Logics, 2008
Михаил Рыбаков
exaly  

The Computational Complexity of Provability in Systems of Modal Propositional Logic

SIAM journal on computing (Print), 1977
Richard E. Ladner
semanticscholar   +1 more source

A Propositional Dynamic Logic with Qualitative Probabilities

Journal of Philosophical Logic, 1999
Dimitar P Guelev
exaly  

SEMANTICAL ANALYSIS OF MODAL LOGIC II. NON-NORMAL MODAL PROPOSITIONAL CALCULI

, 2014
Saul A. Kripke
semanticscholar   +1 more source

Propositional Logic

2006
  +4 more sources

Propositional Logic: Resolution

, 2012
M. Ben-Ari
semanticscholar   +1 more source

Model checking propositional dynamic logic with all extras

Journal of Applied Logic, 2006
Martin Lange
exaly  

Computing Minimal Axiomatizations in Gödel Propositional Logic

Journal of Logic and Computation, 2011
S. Aguzzoli, O. D'Antona, V. Marra
semanticscholar   +1 more source

Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

, 1963
Saul A. Kripke
semanticscholar   +1 more source