Pages that link to "Item:Q1314287"

The following pages link to Adding a temporal dimension to a logic system (Q1314287):

Displaying 37 items.

• Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
• Importing logics: soundness and completeness preservation (Q361861) (← links)
• Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
• An analytic tableau calculus for a temporalised belief logic (Q456722) (← links)
• Logics for stable and unstable mereological relations (Q651278) (← links)
• Importing logics (Q694499) (← links)
• \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
• Multi-modal CTL: completeness, complexity, and an application (Q1037587) (← links)
• A decidable temporal logic of parallelism (Q1130239) (← links)
• A system of dynamic modal logic (Q1267078) (← links)
• Birkhoff style calculi for hybrid logics (Q1682285) (← links)
• BDI-modelling of complex intracellular dynamics (Q1788608) (← links)
• Editors' introduction to the special issue on combining logics (Q1815423) (← links)
• Combining temporal logic systems (Q1815427) (← links)
• Minimal temporal epistemic logic (Q1815428) (← links)
• Fibred semantics for feature-based grammar logic (Q1923842) (← links)
• Event-based time-stamped claim logic (Q2043818) (← links)
• Hybrid dynamic logic institutions for event/data-based systems (Q2065557) (← links)
• Probabilization of logics: completeness and decidability (Q2254552) (← links)
• The grammar of code switching (Q2255235) (← links)
• Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
• Epistemic logics with structured knowledge (Q2333672) (← links)
• Knowledge and approximations: a formal study under the perspective of information systems and rough set theory (Q2663553) (← links)
• Tracking and managing deemed abilities (Q2695376) (← links)
• Judgment and consequence relations (Q2901202) (← links)
• 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics (Q3128464) (← links)
• Handling database updates in two-dimensional temporal logic (Q4275692) (← links)
• Modal logic for modelling actions and agents (Q4632321) (← links)
• Temporal theories of reasoning (Q4835517) (← links)
• Completeness and Complexity of Multi-modal CTL (Q4982125) (← links)
• A two‐dimensional metric temporal logic (Q5112385) (← links)
• Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
• The Algebra of Opposition (and Universal Logic Interpretations) (Q5258966) (← links)
• CafeOBJ Traces (Q5403067) (← links)
• Encoding hybridized institutions into first-order logic (Q5741578) (← links)
• Logics for Temporal Information Systems in Rough Set Theory (Q5875942) (← links)