Amanote Research

Amanote Research

    RegisterSign In

Modal Logics of Reactive Frames

Cognitive Technologies
doi 10.1007/978-3-642-41389-6_6
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2013

Authors
Dov M. Gabbay
Publisher

Springer Berlin Heidelberg


Related search

Combining Unification and Rewriting in Proofs for Modal Logics With First-Order Undefinable Frames

2017English

Translating Classical Probability Logics Into Modal Fuzzy Logics

2019English

Modal Logics for Continuous Dynamics

1997English

Sequent Systems for Modal Logics

2002English

Modal Logics for Qualitative Spatial Reasoning

Logic Journal of the IGPL
Philosophy
1996English

Towards a Proof Theory of Gödel Modal Logics

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Two-Layer Modal Logics: From Fuzzy Logics to a General Framework

English

Non-Finitely Axiomatisable Two-Dimensional Modal Logics

Journal of Symbolic Logic
PhilosophyLogic
2012English

Inconsistency-Adaptive Modal Logics. On How to Cope With Modal Inconsistency

Logic and Logical Philosophy
Philosophy
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy