Pages that link to "Item:Q2901187"

The following pages link to Journal of Applied Non-Classical Logics (Q2901187):

Displaying 50 items.

• An alert correlation approach based on security operator's knowledge and preferences (Q2901188) (← links)
• An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
• On Hamblin's 15 Tense Theorem (Q2901190) (← links)
• A duration calculus with neighborhood modalities (Q2901191) (← links)
• Some modal aspects of XPath (Q2901192) (← links)
• Continuity, freeness, and filtrations (Q2901195) (← links)
• Logics for multi-subset spaces (Q2901196) (← links)
• Back from the future (Q2901197) (← links)
• Model-checking CTL* over flat Presburger counter systems (Q2901199) (← links)
• Semantic interpolation (Q2901200) (← links)
• Label-free natural deduction systems for intuitionistic and classical modal logics (Q2901201) (← links)
• Judgment and consequence relations (Q2901202) (← links)
• Metric temporal reasoning with less than two clocks (Q2901203) (← links)
• Violation games: a new foundation for deontic logic ★ (Q2901204) (← links)
• Epistemic planning for single- and multi-agent systems (Q2901205) (← links)
• Justifications for common knowledge (Q2901206) (← links)
• Converse-PDL with regular inclusion axioms: a framework for MAS logics (Q2901207) (← links)
• An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking (Q2901208) (← links)
• Axiomatization and completeness of lexicographic products of modal logics (Q2901209) (← links)
• Dual tableau-based decision procedures for relational logics with restricted composition operator (Q2901210) (← links)
• Some monkey devours every raisin (Q2901211) (← links)
• Logical foundations and complexity of 4QL, a query language with unrestricted negation (Q2901212) (← links)
• <i>KALC</i>: a constructive semantics for <i>ALC</i> (Q2901214) (← links)
• Question–answer games (Q2901215) (← links)
• On interactive knowledge with bounded communication (Q2901218) (← links)
• Some remarks on the model theory of epistemic plausibility models (Q2901219) (← links)
• Composing models (Q2901220) (← links)
• Updating knowledge using subsets (Q2901221) (← links)
• From self-regarding to other-regarding agents in strategic games: a logical analysis (Q2901222) (← links)
• A logic for extensional protocols (Q2901223) (← links)
• Deceit and indefeasible knowledge: the case of <i>dubitatio</i> (Q2901224) (← links)
• Sources of, and exploiting, inconsistency: preliminary report (Q3128364) (← links)
• Argument-based extended logic programming with defeasible priorities (Q3128365) (← links)
• Knowledge assimilation in domains of actions: a possible causes approach (Q3128367) (← links)
• Minimal and consistent evolution of knowledge bases (Q3128368) (← links)
• Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches (Q3128369) (← links)
• On knowledge evolution: acquisition, revision, contraction (Q3128370) (← links)
• On having bad contractions, or: no room for recovery (Q3128371) (← links)
• Semi-revision (Q3128372) (← links)
• Many-dimensional arrow logics (Q3130047) (← links)
• Expressive completeness of modal logic on binary ramified frames (Q3130048) (← links)
• Graded consequence relations and fuzzy closure operator (Q3130049) (← links)
• Completeness and incompleteness for anodic modal logics (Q3400790) (← links)
• Handling controversial arguments (Q3400791) (← links)
• Negation introduced with the unary connective (Q3400792) (← links)
• PDL with intersection of programs: a complete axiomatization (Q3643256) (← links)
• Truth-values as labels: a general recipe for labelled deduction (Q3643258) (← links)
• Reasoning with different levels of uncertainty (Q3643259) (← links)
• Remedial interchange, contrary-to-duty obligation and commutation (Q3643260) (← links)
• Propositional mixed logic: its syntax and semantics (Q3643261) (← links)