Results 271 to 280 of about 1,933,548 (305)

Interacting with Modal Logics in the Coq Proof Assistant

Computer Science Symposium in Russia, 2015
Christoph Benzmüller, B. W. Paleo
semanticscholar   +1 more source

The Institution of Many-Logics Modal Logic

Approaching reconfigurable systems as structured transition systems, where the states are models in a given institution, is a methodological approach pursued in [17]. The versatility of this approach lies in the assumption that the logic used for configurations can be chosen based on the nature of the system configurations to be developed. Technically,
Freire, Alfredo R., Martins, Manuel A., Madeira, Alexandre   +2 more
openaire   +2 more sources

Higher-Order Modal Logics: Automation and Applications

Reasoning Web, 2015
Christoph Benzmüller, B. W. Paleo
semanticscholar   +1 more source

A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief

Artificial Intelligence, 1992
Joseph Y. Halpern, Yoram Moses
semanticscholar   +1 more source

Temporal and Modal Logic

Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, 1991
E. Emerson
semanticscholar   +1 more source

Hypersequent Calculi for Modal Logics Extending S4

JSAI-isAI Workshops, 2013
Hidenori Kurokawa
semanticscholar   +1 more source

From Frame Properties to Hypersequent Rules in Modal Logics

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
O. Lahav
semanticscholar   +1 more source

Modal logic

Artificial Intelligence Review, 1991
openaire   +1 more source

Complexity of finite-variable fragments of propositional temporal and modal logics of computation

Theoretical Computer Science, 2022
Dmitry Shkatov
exaly  

The QMLTP Problem Library for First-Order Modal Logics

International Joint Conference on Automated Reasoning, 2012
Thomas Raths, Jens Otten
semanticscholar   +1 more source