Pages that link to "Item:Q1422049"
From MaRDI portal
The following pages link to Many-dimensional modal logics: theory and applications (Q1422049):
Displayed 50 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- Towards resolution-based reasoning for connected logics (Q281156) (← links)
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Matching topological and frame products of modal logics (Q295921) (← links)
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- Reasoning about visibility (Q420853) (← links)
- Decidability of an Xstit logic (Q456970) (← links)
- Products of modal logics and tensor products of modal algebras (Q472808) (← links)
- Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited (Q472810) (← links)
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity (Q477203) (← links)
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q498234) (← links)
- Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces (Q516317) (← links)
- A logic for reasoning about counterfactual emotions (Q543627) (← links)
- Norms as ascriptions of violations: an analysis in modal logic (Q545168) (← links)
- Preface to the special issue: Temporal logics of agency (Q616042) (← links)
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
- Reasoning about sequences of memory states (Q636268) (← links)
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Fooling around with tenses (Q643107) (← links)
- Synchronized linear-time temporal logic (Q647400) (← links)
- Axiomatization of modal logic squares with distinguished diagonal (Q650277) (← links)
- A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- Completeness and correspondence in Chellas-Segerberg semantics (Q742554) (← links)
- Intuitionistic hybrid logic: introduction and survey (Q764256) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- First-order temporal verification in practice (Q851137) (← links)
- Multimodal logics of products of topologies (Q861569) (← links)
- Reasoning on temporal class diagrams: Undecidability results (Q862829) (← links)
- On dynamic topological and metric logics (Q865049) (← links)
- On the freeze quantifier in Constraint LTL: Decidability and complexity (Q868025) (← links)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- An automata-theoretic approach to constraint LTL (Q870361) (← links)
- The calculus of relations as a foundation for mathematics (Q877838) (← links)
- A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
- Augmenting ATL with strategy contexts (Q897650) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- Alternative axiomatics and complexity of deliberative STIT theories (Q939059) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Towards constructive DL for abstraction and refinement (Q972423) (← links)
- On combinations of propositional dynamic logic and doxastic modal logics (Q1006486) (← links)
- Dynamic topological S5 (Q1024554) (← links)
- Multi-modal CTL: completeness, complexity, and an application (Q1037587) (← links)
- Many-valued multi-modal logics, satisfiability problem (Q1669939) (← links)
- Compositional meaning in logic (Q1682292) (← 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)