ournal of Applied Non-Classical Logics A logical formalisation of false belief tasks. By , 2 months ago
ournal of Applied Non-Classical Logics Embedding the Calendar and Time Type System in Temporal Type Theory. By , 3 months ago
ournal of Applied Non-Classical Logics Metainferentially substructural validity theories. By , 3 months ago
ournal of Applied Non-Classical Logics Axiomatization of XPath with general data comparison. By , 3 months ago
ournal of Applied Non-Classical Logics The ineffability of God – a logical approach. By , 4 months ago
ournal of Applied Non-Classical Logics Conditional normative reasoning as a fragment of HOL. By , 6 months ago
ournal of Applied Non-Classical Logics Which are the true defeasible logics?. By Michael J. Maher Reasoning Research Institute, Canberra, Australia, 7 months ago
ournal of Applied Non-Classical Logics Subintuitionistic logics and their modal companions: a nested approach. By Matteo Tesi Institute of Logic and Computation, TU Wien, Vienna, Austria, 7 months ago
ournal of Applied Non-Classical Logics Grounding operators: transitivity and trees, logicality and balance. By , 8 months ago