Erscheinungsjahr
Medientyp
Datenquelle
Fach
Sprache
1–20 von 249 Ergebnissen
Sortieren:
Sortieren:
-
Semiproducts, Products, and Modal Predicate Logics: Some Examples
Springer Verlag | 2023|Schlagwörter: semiproducts of modal logics, products of modal logics, predicate modal logics -
About the unification type of $\mathbf {K}+\square \square \bot $
Online Contents | 2021|Schlagwörter: Locally tabular modal logics, Propositional modal logics -
Proof theory for quantified monotone modal logics
Freier ZugriffBASE | 2019|Schlagwörter: Non-normal modal logics, quantified modal logics -
Lattice logic as a fragment of (2-sorted) residuated modal logic
Taylor & Francis Verlag | 2019|Schlagwörter: modal logics, multi-modal logics -
Multi-modal nonmonotonic logics of minimal knowledge
Online Contents | 2007|Schlagwörter: Multi-modal logics, Nonmonotonic modal logics -
Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability
Freier ZugriffDataCite | 2023|Schlagwörter: Polyadic modal logics, Boolean modal logics -
Reasoning about manipulation in multi-agent systems
Taylor & Francis Verlag | 2022|Schlagwörter: modal logics -
A Resolution-Based Theorem Prover for $${\textsf {K}}_{n}^{}$$: Architecture, Refinements, Strategies and Experiments
Freier ZugriffOnline Contents | 2018|Schlagwörter: Modal logics -
Clausal Tableaux for Multimodal Logics of Belief
IOS Press | 2009Schlagwörter: modal logics for agent-based systems, theorem proving for modal logics, complexity and decidability of modal logics -
Frames for fusions of modal logics
Taylor & Francis Verlag | 2018|Schlagwörter: fusion of modal logics -
Non-normal modalities in variants of linear logic
Taylor & Francis Verlag | 2015|Schlagwörter: modal logics -
Proof theory for quantified monotone modal logics
Freier ZugriffBASE | 2019|Schlagwörter: non-normal modal logics, quantified modal logics -
Multimo dal Logics of Products of Topologies
Online Contents | 2006|Schlagwörter: products of modal logics, Fusion of modal logics -
Variants of multi-relational semantics for propositional non-normal modal logics
Taylor & Francis Verlag | 2014|Schlagwörter: non-normal modal logics -
Label-free natural deduction systems for intuitionistic and classical modal logics
Taylor & Francis Verlag | 2010|Schlagwörter: intuitionistic modal logics -
Local is Best: Efficient Reductions to Modal Logic K
Freier ZugriffOnline Contents | 2022|Schlagwörter: Modal logics -
The Undecidability of Quantified Announcements
Online Contents | 2016|Schlagwörter: Complexity of modal logics