Pages that link to "Item:Q1422049"
From MaRDI portal
The following pages link to Many-dimensional modal logics: theory and applications (Q1422049):
Displaying 50 items.
- Compositional meaning in logic (Q1682292) (← links)
- Modal multilattice logic (Q1682294) (← links)
- Proof theory for functional modal logic (Q1708100) (← links)
- The finitely axiomatizable complete theories of non-associative arrow frames (Q1731561) (← links)
- Propositional epistemic logics with quantification over agents of knowledge (Q1743999) (← links)
- Topological-frame products of modal logics (Q1756592) (← links)
- Ambiguous classes in \(\mu\)-calculi hierarchies (Q1770419) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← links)
- All normal extensions of S5-squared are finitely axiomatizable (Q1770622) (← links)
- Multi-dimensional modal logic as a framework for spatio-temporal reasoning (Q1863908) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Global view on reactivity: switch graphs and their logics (Q1935598) (← links)
- Constrained consequence (Q1941731) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
- The monodic fragment of propositional term modal logic (Q2001365) (← links)
- Propositional quantification in bimodal S5 (Q2055931) (← links)
- Lifted model checking for relational MDPs (Q2102421) (← links)
- On Blass translation for Leśniewski's propositional ontology and modal logics (Q2115291) (← links)
- On the subtle nature of a simple logic of the hide and seek game (Q2148792) (← links)
- Orthogonal frames and indexed relations (Q2148794) (← links)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- A tetrachotomy of ontology-mediated queries with a covering axiom (Q2152500) (← links)
- Modal definability: two commuting equivalence relations (Q2169131) (← links)
- Measuring inconsistency in generalized propositional logic (Q2198316) (← links)
- A history based logic for dynamic preference updates (Q2209166) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- First-order rewritability of ontology-mediated queries in linear temporal logic (Q2238711) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- A logical account of formal argumentation (Q2269515) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- Propositional epistemic logics with quantification over agents of knowledge (an alternative approach) (Q2323640) (← links)
- A new game equivalence, its logic and algebra (Q2323693) (← links)
- Toward a theory of play: a logical perspective on games and interaction (Q2344965) (← links)
- The incompleteness of \(\mathrm{S}4\oplus\mathrm{S}4\) for the product space \(\mathbb R\times\mathbb R\) (Q2350220) (← links)
- Evolving objects in temporal information systems (Q2385447) (← links)
- Bipolarity in temporal argumentation frameworks (Q2406902) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
- An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q2436101) (← links)
- Discovering knowability: a semantic analysis (Q2443346) (← links)
- Modal definability of first-order formulas with free variables and query answering (Q2446543) (← links)
- S7 (Q2446683) (← links)
- Mechanising first-order temporal resolution (Q2486579) (← links)
- Connectionist computations of intuitionistic reasoning (Q2503271) (← links)
- LTL over integer periodicity constraints (Q2503321) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- On squares of modal logics with additional connectives (Q2510775) (← links)
- Complexity of monodic guarded fragments over linear and real time (Q2576942) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
