The following pages link to Journal of Applied Logic (Q124852):
Displaying 50 items.
- An analytic tableau calculus for a temporalised belief logic (Q456722) (← links)
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- Temporal logics for concurrent recursive programs: satisfiability and model checking (Q472794) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Second order inductive logic and Wilmers' principle (Q472798) (← links)
- The existence of superluminal particles is consistent with relativistic dynamics (Q472799) (← links)
- A postulate-based analysis of comparative preference statements (Q472801) (← links)
- Constraint LTL satisfiability checking without automata (Q472802) (← links)
- A logical calculus for controlled monotonicity (Q472804) (← 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)
- Epistemic protocols for dynamic gossip (Q504511) (← links)
- Price of privacy (Q504512) (← links)
- Marketing impact on diffusion in social networks (Q504513) (← links)
- Editorial. Dynamics of knowledge and belief (Q507538) (← links)
- A geometric principle of indifference (Q507541) (← links)
- An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version) (Q507545) (← links)
- Qualitative probabilistic inference under varied entropy levels (Q507547) (← links)
- Extending adaptive world modeling by identifying and handling insufficient knowledge models (Q507550) (← links)
- On harmony and permuting conversions (Q518743) (← links)
- Rewrite rules for \(\mathrm{CTL}^\ast\) (Q518745) (← links)
- On expressive power of basic modal intuitionistic logic as a fragment of classical FOL (Q518747) (← links)
- Special issue: Selected and revised papers from the 9th international conference on deontic logic in computer science, DEON 2008, Luxembourg, July 15--18, 2008 (Q536527) (← links)
- Simplified forms of computerized reasoning with distance semantics (Q545150) (← links)
- Reasoning about conditional probabilities in a higher-order-logic theorem prover (Q545151) (← links)
- Formal reliability analysis of combinational circuits using theorem proving (Q545153) (← links)
- A deontic logic framework allowing for factual detachment (Q545154) (← links)
- Prolegomenon to norms in branching space-times (Q545167) (← links)
- Norms as ascriptions of violations: an analysis in modal logic (Q545168) (← links)
- Stratification of normative systems with intermediaries (Q545171) (← links)
- Deontic epistemic stit logic distinguishing modes of mens rea (Q545173) (← links)
- Praise, blame, obligation, and DWE: toward a framework for classical supererogation and kin (Q545175) (← links)
- Semantics for more plausible deontic logics (Q598539) (← links)
- Rich deontic logic: A preliminary study (Q598541) (← links)
- Problems and results for logics about imperatives (Q598542) (← links)
- Normative positions within an algebraic approach to normative systems (Q598543) (← links)
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545) (← links)
- Agential obligation as non-agential personal obligation plus agency (Q598546) (← links)
- Action negation and alternative reductions for dynamic deontic logics (Q598547) (← links)
- Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) (Q631075) (← links)
- Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA (Q631077) (← links)
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080) (← links)
- Justification logics and hybrid logics (Q631081) (← links)
- A family of Gödel hybrid logics (Q631082) (← links)
- Axiomatizing hybrid logic using modal logic (Q631084) (← links)
- Lightweight hybrid tableaux (Q631086) (← links)
- The complexity of satisfiability for fragments of hybrid logic. I. (Q631087) (← links)
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
