Year of publication
Type of material
Licence
Language
1–20 of 252 hits
Sort by:
Sort by:
-
Semiproducts, Products, and Modal Predicate Logics: Some Examples
Springer Verlag | 2023|Keywords: semiproducts of modal logics, products of modal logics, predicate modal logics -
Lattice logic as a fragment of (2-sorted) residuated modal logic
Taylor & Francis Verlag | 2019|Keywords: modal logics, multi-modal logics -
About the unification type of $\mathbf {K}+\square \square \bot $
Online Contents | 2021|Keywords: Locally tabular modal logics, Propositional modal logics -
Proof theory for quantified monotone modal logics
Free accessBASE | 2019|Keywords: Non-normal modal logics, quantified modal logics -
Multi-modal nonmonotonic logics of minimal knowledge
Online Contents | 2007|Keywords: Multi-modal logics, Nonmonotonic modal logics -
Reasoning about manipulation in multi-agent systems
Taylor & Francis Verlag | 2022|Keywords: modal logics -
Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability
Free accessDataCite | 2023|Keywords: Polyadic modal logics, Boolean modal logics -
Clausal Tableaux for Multimodal Logics of Belief
IOS Press | 2009Keywords: 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|Keywords: fusion of modal logics -
Proof theory for quantified monotone modal logics
Free accessBASE | 2019|Keywords: non-normal modal logics, quantified modal logics -
Non-normal modalities in variants of linear logic
Taylor & Francis Verlag | 2015|Keywords: modal logics -
A Resolution-Based Theorem Prover for $${\textsf {K}}_{n}^{}$$: Architecture, Refinements, Strategies and Experiments
Free accessOnline Contents | 2018|Keywords: Modal logics -
Label-free natural deduction systems for intuitionistic and classical modal logics
Taylor & Francis Verlag | 2010|Keywords: intuitionistic modal logics -
The Undecidability of Quantified Announcements
Online Contents | 2016|Keywords: Complexity of modal logics -
Local is Best: Efficient Reductions to Modal Logic K
Free accessOnline Contents | 2022|Keywords: Modal logics -
Multimo dal Logics of Products of Topologies
Online Contents | 2006|Keywords: products of modal logics, Fusion of modal logics -
A Resolution-Based Theorem Prover for $${\textsf {K}}_{n}^{}$$: Architecture, Refinements, Strategies and Experiments
Online Contents | 2018|Keywords: Modal logics
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.